CoRR, July 2015
Jingyan Wang, Yihua Zhou, Benjamin Edwards:
Representing data by sparse combination of contextual data points for classification.
(Withdrawn) On the Communication Complexity of Distributed Clustering.
Zhihui Zhu, Michael B. Wakin:
Approximating Sampled Sinusoids and Multiband Signals Using Multiband Modulated DPSS Dictionaries.
Athanasios N. Nikolakopoulos, John D. Garofalakis:
Top-N recommendations in the presence of sparsity: An NCD-based approach.
Or Sheffet:
Private Approximations of the 2nd-Moment Matrix Using Existing Techniques in Linear Regression.
Valentin Rakovic, Daniel Denkovski, Zoran Hadzi-Velkov, Liljana Gavrilovska:
Optimal time sharing in underlay cognitive radio systems with RF energy harvesting.
Armando Castañeda, Michel Raynal, Sergio Rajsbaum:
Specifying Concurrent Problems: Beyond Linearizability.
Brandon Oselio, Alex Kulesza, Alfred O. Hero III:
Information Extraction from Larger Multi-layer Social Networks.
Guillaume Corriveau, Raynald Guilbault, Antoine Tahan, Robert Sabourin:
Evaluation of Genotypic Diversity Measurements Exploited in Real-Coded Representation.
Jammily Ortigoza, Fabio Lopez Pires, Benjamín Barán:
Workload Trace Generation for Dynamic Environments in Cloud Computing.
Zati Bayani Zawawi, Jaehyun Park, Bruno Clerckx:
Simultaneous Wireless Information and Power Transfer in a Two-User OFDM Interference Channel.
H. L. Prasad, Shalabh Bhatnagar:
A Study of Gradient Descent Schemes for General-Sum Stochastic Games.
Sanghun Im, Hyoungsuk Jeon, Jinho Choi, Jeongseok Ha:
Secret Key Agreement with Large Antenna Arrays under the Pilot Contamination Attack.
Huei-Fang Yang, Kevin Lin, Chu-Song Chen:
Supervised Learning of Semantics-Preserving Hashing via Deep Neural Networks for Large-Scale Image Search.
Fang Liu, Junfei Shi, Licheng Jiao, Hongying Liu, Shuyuan Yang, Jie Wu, Hongxia Hao, Jialing Yuan:
Polarimetric Hierarchical Semantic Model and Scattering Mechanism Based PolSAR Image Classification.
I. Yucel Akkutlu, Yalchin Efendiev, Maria Vasilyeva:
Multiscale model reduction for shale gas transport in fractured media.
Gagan Goel, MohammadTaghi Hajiaghayi, Mohammad Reza Khani:
Randomized Revenue Monotone Mechanisms for Online Advertising.
Valeria Borzì, Simone Faro, Arianna Pavone, Sabrina Sansone:
Prior Polarity Lexical Resources for the Italian Language.
Atul Kumar Sinha, A. K. Chaturvedi:
Low Complexity Opportunistic Interference Alignment in K-Transmitter MIMO Interference Channels.
Cunjing Ge, Feifei Ma, Jian Zhang:
A Tool for Computing and Estimating the Volume of the Solution Space of SMT(LA).
Jens Peter Andersen, Stefanie Haustein:
Influence of study type on Twitter activity for medical research papers.
Vahid Joroughi, Miguel Ángel Vázquez, Ana I. Pérez-Neira:
Precoding in Multigateway Multibeam Satellite Systems.
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Forward and Backward Bisimulations for Chemical Reaction Networks.
Alfred Kajirunga, Khamisi Kalegele:
Analysis of Activities and Operations in the Current E-Health Landscape in Tanzania: Focus on Interoperability and Collaboration.
Mrinal Kumar, Ramprasad Saptharishi:
An exponential lower bound for homogeneous depth-5 circuits over finite fields.
Syed Tamoor-ul-Hassan, Mehdi Bennis, Pedro Henrique Juliano Nardelli, Matti Latva-aho:
Modeling and Analysis of Content Caching in Wireless Small Cell Networks.
Jonathan Laporte, Antoine Chaillet, Yacine Chitour:
Global stabilization of classes of linear control systems with bounds on the feedback and its successive derivatives.
Antoine Deleforge, Sharon Gannot, Walter Kellermann:
Towards a Generalization of Relative Transfer Functions to More Than One Source.
Adrian Paschke, Ralph Schäfermeier:
Aspect OntoMaven - Aspect-Oriented Ontology Development and Configuration With OntoMaven.
Denis Oyaro, Piero Triverio:
TurboMOR: an Efficient Model Order Reduction Technique for RC Networks with Many Ports.
Quinten Stokkink, Harmjan Treep, Johan Pouwelse:
Performance analysis of a Tor-like onion routing implementation.
Jingjing Ren, Ashwin Rao, Martina Lindorfer, Arnaud Legout, David R. Choffnes:
ReCon: Revealing and Controlling Privacy Leaks in Mobile Network Traffic.
Babak Salimi, Leopoldo E. Bertossi:
From Causes for Database Queries to Repairs and Model-Based Diagnosis and Back.
Michel Barbeau, Steve R. Cloutier, Joaquín García-Alfaro:
Quantum Computing Assisted Medium Access Control for Multiple Client Station Networks.
Ehsan Ullah Warriach, Tanir Ozcelebi, Johan J. Lukkien:
Proactive Dependability Framework for Smart Environment Applications.
David Hallac, Jure Leskovec, Stephen P. Boyd:
Network Lasso: Clustering and Optimization in Large Graphs.
Hadi G. Ghauch, Taejoon Kim, Mats Bengtsson, Mikael Skoglund:
Subspace Estimation and Decomposition for Large Millimeter-Wave MIMO systems.
Greg Mori, Caroline Pantofaru, Nisarg Kothari, Thomas Leung, George Toderici, Alexander Toshev, Weilong Yang:
Pose Embeddings: A Deep Architecture for Learning to Match Human Poses.
Maxim Dolgov, Uwe D. Hanebeck:
Infinite-horizon Linear Optimal Control of Markov Jump Systems without Mode Observation via State Feedback.
Wasim Amjad, Javier García, Jawad Munir, Amine Mezghani, Josef A. Nossek:
Compensation of Amplifier Distortion for OFDM signals based on Iterative Hard Thresholding.
Wei Lu, Wei Chen, Laks V. S. Lakshmanan:
From Competition to Complementarity: Comparative Influence Diffusion and Maximization.
Harm van Seijen, Ashique Rupam Mahmood, Patrick M. Pilarski, Richard S. Sutton:
An Empirical Evaluation of True Online TD(λ).
Evgeny Nikulchev, Evgeniy Pluzhnik, Dmitry Biryukov, Oleg Lukyanchikov, Simon Payain:
Experimental Study of the Cloud Architecture Selection for Effective Big Data Processing.
Sang Yeob Jung, Seong-Lyun Kim:
Bidding, Pricing, and User Subscription Dynamics in Asymmetric-valued Korean LTE Spectrum Auction: A Hierarchical Dynamic Game Approach.
Marco Mezzavilla, Sanjay Goyal, Aditya Dhananjay, Shivendra S. Panwar, Sundeep Rangan, Michele Zorzi:
An MDP Model for Optimal Handover Decisions in mmWave Cellular Networks.

Andrea Abrardo, Mauro Barni, Kassem Kallas, Benedetta Tondi:
A Game-Theoretic Framework for Optimum Decision Fusion in the Presence of Byzantines.
Jingbo Wu, Valery A. Ugrinovskii, Frank Allgöwer:
Cooperative H-infinity Estimation for Large-Scale Interconnected Linear Systems.
Vasilis Syrgkanis, Alekh Agarwal, Haipeng Luo, Robert E. Schapire:
Fast Convergence of Regularized Learning in Games.



Alain Rakotomamonjy, Rémi Flamary, Gilles Gasso:
DC Proximal Newton for Non-Convex Optimization Problems.
Vincent Primault, Sonia Ben Mokhtar, Cédric Lauradoux, Lionel Brunie:
Time Distortion Anonymization for the Publication of Mobility Data with High Utility.



Zohir Bouzid, Michel Raynal, Pierre Sutra:
Anonymous Obstruction-free (n, k)-Set Agreement with n-k+1 Atomic Read/Write Registers.
Léa Laporte, Rémi Flamary, Stéphane Canu, Sébastien Déjean, Josiane Mothe:
Non-convex Regularizations for Feature Selection in Ranking With Sparse SVM.
Nicolas Courty, Rémi Flamary, Devis Tuia, Alain Rakotomamonjy:
Optimal Transport for Domain Adaptation.
Davide Bilò, Fabrizio Grandoni, Luciano Gualà, Stefano Leucci, Guido Proietti:
Improved Purely Additive Fault-Tolerant Spanners.
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate, Rupak Majumdar:
Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes.
Young Jin Chun, Simon L. Cotton, Mazen O. Hasna, Ali Ghrayeb:
A Stochastic Geometry Based Approach to Modeling Interference Correlation in Cooperative Relay Networks.
Ludovic Saint-Bauzel, Viviane Pasqui, Isabelle Monteil:
A Reactive Robotized Interface for Lower Limb Rehabilitation: Clinical Results.


Van Bang Le, Thomas Podelleck:
Characterization and recognition of some opposition and coalition graph classes.
Gianluigi Pillonetto, Tianshi Chen, Alessandro Chiuso, Giuseppe De Nicolao, Lennart Ljung:
Regularized linear system identification using atomic, nuclear and kernel-based norms: the role of the stability constraint.
Pooyan Jamshidi, Amir Molzam Sharifloo, Claus Pahl, Andreas Metzger, Giovani Estrada:
Self-Learning Cloud Controllers: Fuzzy Q-Learning for Knowledge Evolution.
Jeffrey Pawlick, Sadegh Farhang, Quanyan Zhu:
Flip the Cloud: Cyber-Physical Signaling Games in the Presence of Advanced Persistent Threats.
YuLong Zou, Jia Zhu, Liuqing Yang, Ying-Chang Liang, Yu-Dong Yao:
Securing Physical-Layer Communications for Cognitive Radio Networks.
Stavros Konstantinidis, Mitja Mastnak:
Embedding rationally independent languages into maximal ones.
Hudson Borges, Marco Tulio Valente, André C. Hora, Jailton Coelho:
On the Popularity of GitHub Applications: A Preliminary Note.
Florin-Constantin Mihai, Adrian Ursu, Pavel Ichim, Dan-Adrian Chelaru:
Determining rural areas vulnerable to illegal dumping using GIS techniques. Case study: Neamt county, Romania.
Khalil Elkhalil, Abla Kammoun, Tareq Y. Al-Naffouri, Mohamed-Slim Alouini:
Analytical Derivation of the Inverse Moments of One-sided Correlated Gram Matrices with Applications.
Jirí Fiala, Tomas Gavenciak, Dusan Knop, Martin Koutecký, Jan Kratochvíl:
Distance constrained labeling on graphs with bounded neighborhood diversity.

MohammadTaghi Hajiaghayi, Guy Kortsarz, Robert MacDavid, Manish Purohit, Kanthi K. Sarpatwar:
Approximation Algorithms for Connected Maximum Cut and Related Problems.

Sreyash Kenkre, Vinayaka Pandit, Manish Purohit, Rishi Saket:
On the Approximability of Digraph Ordering.
Cibele Freire, Wolfgang Gatterbauer, Neil Immerman, Alexandra Meliou:
A Characterization of the Complexity of Resilience and Responsibility for Self-join-free Conjunctive Queries.
Grey Ballard, Austin R. Benson, Alex Druinsky, Benjamin Lipshitz, Oded Schwartz:
Improving the numerical stability of fast matrix multiplication algorithms.


Abhishek K. Gupta, Xinchen Zhang, Jeffrey G. Andrews:
SINR and Throughput Scaling in Ultradense Urban Cellular Networks.
Dimitri P. Bertsekas:
Centralized and Distributed Newton Methods for Network Optimization and Extensions.
Rasmus Kyng, Anup Rao, Sushant Sachdeva:
Fast, Provable Algorithms for Isotonic Regression in all ℓp-norms.

Hossein Esfandiari, Mohammad Taghi Hajiaghayi, Jochen Könemann, Hamid Mahini, David L. Malec, Laura Sanità:
Approximate Deadline-Scheduling with Precedence Constraints.
Yehuda Afek, Roman Kecher, Moshe Sulamy:
Optimal and Resilient Pheromone Utilization in Ant Foraging.
Yossi Azar, Inna Kalp-Shaltiel, Brendan Lucier, Ishai Menache, Joseph Naor, Jonathan Yaniv:
Truthful Online Scheduling with Commitments.
Thársis Tuani Pinto Souza, Olga Kolchyna, Philip C. Treleaven, Tomaso Aste:
Twitter Sentiment Analysis Applied to Finance: A Case Study in the Retail Industry.
Yongpeng Wu, Robert Schober, Derrick Wing Kwan Ng, Chengshan Xiao, Giuseppe Caire:
Secure Massive MIMO Transmission with an Active Eavesdropper.
Amirhossein Aleyasen, Oleksii Starov, Alyssa Phung Au, Allan M. Schiffman, Jeff Shrager:
On the Privacy Practices of Just Plain Sites.
Bradly C. Stadie, Sergey Levine, Pieter Abbeel:
Incentivizing Exploration In Reinforcement Learning With Deep Predictive Models.
Matteo Brucato, Azza Abouzied, Alexandra Meliou:
Improving package recommendations through query relaxation.
Behnam Babagholami-Mohamadabadi, Sejong Yoon, Vladimir Pavlovic:
D-MFVI: Distributed Mean Field Variational Inference using Bregman ADMM.
Yutaro Shigeto, Ikumi Suzuki, Kazuo Hara, Masashi Shimbo, Yuji Matsumoto:
Ridge Regression, Hubness, and Zero-Shot Learning.
Alexander A. Semenov, Oleg Zaikin:
Using Monte Carlo method for searching partitionings of hard variants of Boolean satisfiability problem.
Carsten Kutzner, Szilárd Páll, Martin Fechner, Ansgar Esztermann, Bert L. de Groot, Helmut Grubmüller:
Best bang for your buck: GPU nodes for GROMACS biomolecular simulations.
Zhao Kang, Chong Peng, Jie Cheng, Qiang Chen:
LogDet Rank Minimization with Application to Subspace Clustering.
Erik Rodner, Marcel Simon, Gunnar Brehm, Stephanie Pietsch, Johann-Wolfgang Wägele, Joachim Denzler:
Fine-grained Recognition Datasets for Biodiversity Analysis.
Marco Secondini, Simon Rommel, Francesco Fresi, Enrico Forestieri, Gianluca Meloni, Luca Potì:
Coherent 100G Nonlinear Compensation with Single-Step Digital Backpropagation.
Liudmila Ostroumova Prokhorenkova:
Global clustering coefficient in scale-free weighted and unweighted networks.

Matteo Brucato, Rahul Ramakrishna, Azza Abouzied, Alexandra Meliou:
PackageBuilder: From Tuples to Packages.
Amir Baniamerian, Nader Meskin, Khashayar Khorasani:
A Geometric Approach to Fault Detection and Isolation of Two-Dimensional (2D) Systems.
Minquan Cheng, Jing Jiang, Haiyan Li, Ying Miao, Xiaohu Tang:
Bounds and Constructions for $\overline{3}$-Separable Codes with Length 3.
Vadim Bulitko, Jessica Hong, Kumar Kumaran, Ivan Swedberg, William Thoang, Patrick von Hauff, Georg Schmolzer:
RETAIN: a Neonatal Resuscitation Trainer Built in an Undergraduate Video-Game Class.
César Rodríguez, Marcelo Sousa, Subodh Sharma, Daniel Kroening:
Unfolding-based Partial Order Reduction.
Zeinab Zeinalkhani, Amir H. Banihashemi:
Ultra Low-Complexity Detection of Spectrum Holes in Compressed Wideband Spectrum Sensing.
Dimitri P. Bertsekas:
Value and Policy Iteration in Optimal Control and Adaptive Dynamic Programming.
Dimitri P. Bertsekas:
Incremental Gradient, Subgradient, and Proximal Methods for Convex Optimization: A Survey.

KyungHyun Cho, Aaron C. Courville, Yoshua Bengio:
Describing Multimedia Content using Attention-based Encoder-Decoder Networks.
Daqing Zhang, Hao Wang, Yasha Wang, Junyi Ma:
Anti-Fall: A Non-intrusive and Real-time Fall Detector Leveraging CSI from Commodity WiFi Devices.
Peng He, Yuming Mao, Qiang Liu, Kun Yang:
A Diffusion-Neuron Hybrid System for Molecular Communication.
Dylan Hutchison, Jeremy Kepner, Vijay Gadepally, Adam Fuchs:
Graphulo Implementation of Server-Side Sparse Matrix Multiply in the Accumulo Database.
Marie Yvette B. de Robles, Zenith O. Arnejo, Jaderick P. Pabico:
On Web-grid Implementation Using Single System Image.
Chezka Camille P. Arevalo, Jaderick P. Pabico:
Preferential Attachment in an Internet-mediated Human Network.
Jean-Guillaume Dumas, Erich Kaltofen, Emmanuel Thomé:
Interactive certificate for the verification of Wiedemann's Krylov sequence: application to the certification of the determinant, the minimal and the characteristic polynomials of sparse matrices.
Gérard Henry Edmond Duchamp, Vincel Hoang Ngoc Minh, Christophe Tollu, Van Chiên Bui, Quoc Hoan Ngô:
(Pure) transcendence bases in φ-deformed shuffle bialgebras.
V. Lalitha, Satyanarayana V. Lokam:
Weight Enumerators and Higher Support Weights of Maximally Recoverable Codes.
David A. Karpuk, Arsenia Chorti:
Strong Secrecy in Wireless Network Coding Systems from Structured Interference.

David Fernández-Duque, Ángel Nepomuceno-Fernández, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada:
Forgetting complex propositions.
Sascha Rothe, Hinrich Schütze:
AutoExtend: Extending Word Embeddings to Embeddings for Synsets and Lexemes.
Yan Wang, Sunghyun Cho, Jue Wang, Shih-Fu Chang:
PanoSwarm: Collaborative and Synchronized Multi-Device Panoramic Photography.
Yan Wang, Jue Wang, Shih-Fu Chang:
CamSwarm: Instantaneous Smartphone Camera Arrays for Collaborative Photography.
Hossein Esfandiari, MohammadTaghi Hajiaghayi, Vahid Liaghat, Morteza Monemizadeh:
Prophet Secretary.
Troy Baker, Meera Sitharam, Menghan Wang, Joel Willoughby:
Optimal Decomposition and Recombination of Isostatic Geometric Constraint Systems for Designing Layered Materials.
Haibo Hong, Licheng Wang, Haseeb Ahmad, Jing Li, Yixian Yang:
Minimal Logarithmic Signatures for Sporadic Groups.
Haibo Hong, Licheng Wang, Haseeb Ahmad, Yixian Yang:
Minimal Logarithmic Signatures for one type of Classical Groups.
Keren Censor-Hillel, Tariq Toukan:
On Fast and Robust Information Spreading in the Vertex-Congest Model.
Piotr Mirowski, Andreas Vlachos:
Dependency Recurrent Neural Language Models for Sentence Completion.
Daniela Micucci, Marco Mobilio, Paolo Napoletano, Francesco Tisato:
Falls as anomalies? An experimental evaluation using smartphone accelerometer data.
Raghvendra Kannao, Prithwijit Guha:
TV News Commercials Detection using Success based Locally Weighted Kernel Combination.

Kasra Madadipouya:
A Review On The Strategic Use Of IT Applications In Achieving And Sustaining Competitive Advantage.
Ioannis Kontoyiannis, Maria Skoularidou:
Estimating the Directed Information and Testing for Causality.

Jin Tan, Yanting Ma, Hoover F. Rueda, Dror Baron, Gonzalo R. Arce:
Compressive Hyperspectral Imaging via Approximate Message Passing.
Zehra Camlica, Hamid R. Tizhoosh, Farzad Khalvati:
Autoencoding the Retrieval Relevance of Medical Images.
Alexey L. Lastovetsky, Lukasz Szustak, Roman Wyrzykowski:
Model-based optimization of MPDATA on Intel Xeon Phi through load imbalancing.
Tianpei Xie, Nasser M. Nasrabadi, Alfred O. Hero III:
Semi-supervised Multi-sensor Classification via Consensus-based Multi-View Maximum Entropy Discrimination.
Srijan Kumar, Francesca Spezzano, V. S. Subrahmanian:
VEWS: A Wikipedia Vandal Early Warning System.
Marvin Zhang, Sergey Levine, Zoe McCarthy, Chelsea Finn, Pieter Abbeel:
Policy Learning with Continuous Memory States for Partially Observed Robotic Control.

Benjamin Mako Hill, Andrés Monroy-Hernández, Kristina R. Olson:
Responses to remixing on a social media sharing website.
Andrés Monroy-Hernández, Benjamin Mako Hill, Jazmin Gonzalez-Rivero, Danah Boyd:
Computers Can't Give Credit: How Automatic Attribution Falls Short in an Online Remixing Community.
Munmun De Choudhury, Andrés Monroy-Hernández, Gloria Mark:
"Narco" Emotions: Affect and Desensitization in Social Media during the Mexican Drug War.
Andrés Monroy-Hernández, Emre Kiciman, Danah Boyd, Scott Counts:
Narcotweets: Social Media in Wartime.
Andrés Monroy-Hernández, danah boyd, Emre Kiciman, Munmun De Choudhury, Scott Counts:
The New War Correspondents: the Rise of Civic Media Curation in Urban Warfare.
Benjamin Mako Hill, Andrés Monroy-Hernández:
The Remixing Dilemma: The Trade-off Between Generativity and Originality.
Benjamin Mako Hill, Andrés Monroy-Hernández:
The Cost of Collaboration for Code and Art: Evidence from a Remixing Community.
Jorge Nathan Matias, Andrés Monroy-Hernández:
NewsPad: Designing for Collaborative Storytelling in Neighborhoods.
Sarah Hallacher, Jenny Rodenhouse, Andrés Monroy-Hernández:
Mixsourcing: a remix framework as a form of crowdsourcing.
Yanjun Li, Kiryung Lee, Yoram Bresler:
Identifiability in Blind Deconvolution under Minimal Assumptions.
Joseph Cheriyan, Zhihan Gao:
Approximating (Unweighted) Tree Augmentation via Lift-and-Project, Part II.
Jeffrey M. Rzeszotarski, Emma S. Spiro, Jorge Nathan Matias, Andrés Monroy-Hernández, Meredith Ringel Morris:
Is Anyone Out There? Unpacking Q&A Hashtags on Twitter.
Elena L. Glassman, Juho Kim, Andrés Monroy-Hernández, Meredith Ringel Morris:
Mudslide: A Spatially Anchored Census of Student Confusion for Online Lecture Videos.
Tian Zhang:
Delay-aware data transmission of multi-carrier communications in the presence of renewable energy.
Juho Kim, Elena L. Glassman, Andrés Monroy-Hernández, Meredith Ringel Morris:
RIMES: Embedding Interactive Multimedia Exercises in Lecture Videos.
Iman I. Yusuf, Ian E. Thomas, Maria Spichkova, Steve G. Androulakis, Grischa R. Meyer, Daniel W. Drumm, George Opletal, Salvy P. Russo, Ashley M. Buckle, Heinz W. Schmidt:
Chiminey: Reliable Computing and Data Management Platform in the Cloud.
Jason Priem:
Altmetrics (Chapter from Beyond Bibliometrics: Harnessing Multidimensional Indicators of Scholarly Impact).
Bowen Yan, Jianxi Luo:
Filtered Patent Maps for Predicting Diversification Paths of Inventors and Organizations.
Shounak Roy, Shayan Garani Srinivasa:
Two-dimensional Burst Error Correcting Code using Finite Field Fourier Transforms.






Ryuta Arisaka:
Latent Belief Theory and Belief Dependencies: A Solution to the Recovery Problem in the Belief Set Theories.
Michael Codish, Luís Cruz-Filipe, Thorsten Ehlers, Mike Müller, Peter Schneider-Kamp:
Sorting Networks: to the End and Back Again.
Shicong Liu, Hongtao Lu:
Learning Better Encoding for Approximate Nearest Neighbor Search with Dictionary Annealing.
Erik M. Ferragut, Jason A. Laska:
Nonparametric Bayesian Modeling for Automated Database Schema Matching.
Muhammad Jawaherul Alam, Thomas Bläsius, Ignaz Rutter, Torsten Ueckerdt, Alexander Wolff:
Pixel and Voxel Representations of Graphs.
Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller:
A model building framework for Answer Set Programming with external computations.
(Withdrawn) A scalable system for primal-dual optimization.


C. A. Piña-García, Dongbing Gu:
Towards a Standard Sampling Methodology on Online Social Networks: Collecting Global Trends on Twitter.
Michele Borassi, Pierluigi Crescenzi, Andrea Marino:
Fast and Simple Computation of Top-k Closeness Centralities.
Susanne Pumpluen:
Finite nonassociative algebras obtained from twisted polynomials over chain rings.
Joseph Y. Halpern, Rafael Pass, Daniel Reichman:
On the Non-Existence of Nash Equilibrium in Games with Resource-Bounded Players.
Irena Rusu:
Log-Lists and Their Applications to Sorting by Transpositions, Reversals and Block-Interchanges.
Fionn Murtagh:
Correspondence Factor Analysis of Big Data Sets: A Case Study of 30 Million Words; and Contrasting Analytics using Apache Solr and Correspondence Analysis in R.
David Eppstein, Sariel Har-Peled, Anastasios Sidiropoulos:
Approximate Greedy Clustering and Distance Selection for Graph Metrics.
Ashique Rupam Mahmood, Huizhen Yu, Martha White, Richard S. Sutton:
Emphatic Temporal-Difference Learning.
Subarna Tripathi, Serge J. Belongie, Truong Q. Nguyen:
Beyond Semantic Image Segmentation : Exploring Efficient Inference in Video.
Holger Caesar, Jasper R. R. Uijlings, Vittorio Ferrari:
Joint Calibration for Semantic Segmentation.
Karthik Vasudeva, Meryem Simsek, David López-Pérez, Ismail Güvenç:
Analysis of Handover Failures in Heterogeneous Networks with Fading.
S. M. Hossein Tabatabaei Yazdi, Han Mao Kiah, Eva Ruiz Garcia, Jian Ma, Huimin Zhao, Olgica Milenkovic:
DNA-Based Storage: Trends and Methods.
Abidin Kaya, Bahattin Yildiz, Abdullah Pasa:
New extremal binary self-dual codes from a modified four circulant construction.

Ömür Arslan, Dan P. Guralnik, Daniel E. Koditschek:
Coordinated Robot Navigation via Hierarchical Clustering.
Hengfeng Wei, Yu Huang, Jiannong Cao, Jian Lu:
Almost Strong Consistency: "Good Enough" in Distributed Storage Systems.
Junhui Hou, Lap-Pui Chau, Nadia Magnenat-Thalmann, Ying He:
CLRMA: Compact Low Rank Matrix Approximation for Data Compression.
Jagmohan Chauhan, Mohamed Ali Kâafar, Anirban Mahanti:
Web for Wearables: Lessons learned from Google Glass.
Archana N., S. S. Pawar:
Periodicity Detection of Outlier Sequences Using Constraint Based Pattern Tree with MAD.
Vincent Cohen-Addad, Arnaud de Mesmay:
A Fixed Parameter Tractable Approximation Scheme for the Optimal Cut Graph of a Surface.
Keyou You, Roberto Tempo, Li Qiu:
Distributed Algorithms for Computation of Centrality Measures in Complex Networks.
Annalisa D'Andrea, Mattia D'Emidio, Daniele Frigioni, Stefano Leucci, Guido Proietti:
Path-Fault-Tolerant Approximate Shortest-Path Trees.



Rainer Falk, Steffen Fries, Hans-Joachim Hof:
ASIA: An Access Control, Session Invocation and Authorization Architecture for Home Energy Appliances in Smart Energy Grid Environments.
Daniel S. Katz, Sou-Cheng T. Choi, Nancy Wilkins-Diehr, Neil Chue Hong, Colin C. Venters, James Howison, Frank J. Seinstra, Matthew Jones, Karen Cranston, Thomas L. Clune, Miguel de Val-Borro, Richard Littauer:
Report on the Second Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE2).


Carlo Galiotto, Nuno K. Pratas, Linda Doyle, Nicola Marchetti:
Effect of LOS/NLOS Propagation on Ultra-Dense Networks.
Anjali N. Radkar, S. S. Pawar:
Mining high on-shelf utility itemsets with negative values from dynamic updated database.
Sid Chi-Kin Chau, Khaled M. Elbassioni, Majid Khonji:
Truthful Mechanisms for Combinatorial Allocation of Electric Power in Alternating Current Electric Systems for Smart Grid.
Ulan N. Brimkulov:
Matrices Which Inversions are Tridiagonal, Band or Block-Tridiagonal and Their Relationship with the Covariance Matrices of a Markov Processes.


Huan Zhou, Yousri Mhedheb, Kamran Idrees, Colin W. Glass, José Gracia, Karl Fürlinger, Jie Tao:
DART-MPI: An MPI-based Implementation of a PGAS Runtime System.
Mingxiong Zhao, Xiangfeng Wang, Suili Feng:
Joint Power Splitting and Secure Beamforming Design in the Multiple Non-regenerative Wireless-powered Relay Networks.
Robert Powell, Andrei A. Krokhin:
A Reduction from Valued CSP to Min Cost Homomorphism Problem for Digraphs.
Swagata Mandal, Suman Sau, Amlan Chakrabarti, Jogendra Saini, Sushanta Kumar Pal, Subhasish Chattopadhyay:
FPGA based Novel High Speed DAQ System Design with Error Correction.
Chuting Yao, Chenyang Yang, Zixiang Xiong:
Energy-saving Resource Allocation by Exploiting the Context Information.
Jingying Wang, Tianli Liu, Tingshao Zhu, Lei Zhang, Bibo Hao, Zhenxiang Chen:
Classify Sina Weibo users into High or Low happiness Groups Using Linguistic and Behavior Features.
Natalie Stanley, Saray Shai, Dane Taylor, Peter J. Mucha:
Clustering Network Layers With the Strata Multilayer Stochastic Block Model.


Robert J. Harrison, Gregory Beylkin, Florian A. Bischoff, Justus A. Calvin, George I. Fann, Jacob Fosso-Tande, Diego Galindo, Jeff R. Hammond, Rebecca Hartman-Baker, Judith C. Hill, Jun Jia, Jakob S. Kottmann, M.-J. Yvonne Ou, Laura E. Ratcliff, Matthew G. Reuter, Adam C. Richie-Halford, Nichols A. Romero, Hideo Sekino, William A. Shelton, Bryan E. Sundahl, W. Scott Thornton, Edward F. Valeev, Álvaro Vázquez-Mayagoitia, Nicholas Vence, Yukina Yokoi:
MADNESS: A Multiresolution, Adaptive Numerical Environment for Scientific Simulation.
Gabriel Lellouch, Amit Kumar Mishra, Michael R. Inggs:
Design of OFDM radar pulses using genetic algorithm based techniques.
Zhana Kuncheva, Giovanni Montana:
Community detection in multiplex networks using locally adaptive random walks.
Alessandro Montalto, Giovanni Tessitore, Roberto Prevete:
A linear approach for sparse coding by a two-layer neural network.
Oleg Iliev, Zahra Lakdawala, Katherine H. L. Leonard, Yavor Vutov:
On pore-scale modeling and simulation of reactive transport in 3D geometries.
Joshua A. Grochow, Youming Qiao:
Polynomial-time isomorphism test of groups that are tame extensions.
Eric Nunes, Nimish Kulkarni, Paulo Shakarian, Andrew Ruef, Jay Little:
Cyber-Deception and Attribution in Capture-the-Flag Exercises.
Niklas Baumstark, Guy E. Blelloch, Julian Shun:
Efficient Implementation of a Synchronous Parallel Push-Relabel Algorithm.
Eric Nunes, Casey Buto, Paulo Shakarian, Christian Lebiere, Stefano Bennati, Robert Thomson, Holger Jaenisch:
Malware Task Identification: A Data Driven Approach.
(Withdrawn) Scalability of Controlling Heterogenous Stress-Engineered MEMS Microrobots (MicroStressBots) through Common Control Signal using Electrostatic Hysteresis.
Marco M. Maia, Parth Soni, Francisco Javier Diez-Garias:
Demonstration of an Aerial and Submersible Vehicle Capable of Flight and Underwater Navigation with Seamless Air-Water Transition.
Natalie Friedrich, Timothy D. Bowman, Wolfgang G. Stock, Stefanie Haustein:
Adapting sentiment analysis for tweets linking to scientific papers.
Sebastian Cammerer, Vahid Aref, Laurent Schmalen, Stephan ten Brink:
Triggering Wave-Like Convergence of Tail-biting Spatially Coupled LDPC Codes: Single and Dual-Channel Setup.
Peter Rost, Andreas Mäder, Matthew C. Valenti, Salvatore Talarico:
Computationally Aware Sum-Rate Optimal Scheduling for Centralized Radio Access Networks.
Magda Gregorova, Alexandros Kalousis, Stéphane Marchand-Maillet, Jun Wang:
Learning vector autoregressive models with focalised Granger-causality graphs.
Bo Li, Athina P. Petropulu, Wade Trappe:
Optimum Design for Coexistence Between Matrix Completion Based MIMO Radars and a MIMO Communication System.




Akanksha Gehlot, Vaishali Sharma, Shashi Pal Singh, Ajai Kumar:
Hindi to English Transfer Based Machine Translation System.

Frédérique Mélanie-Bécquet, Johan Ferguth, Katherine Gruel, Thierry Poibeau:
Archaeology in the Digital Age: From Paper to Databases.
Elad Hazan, Kfir Y. Levy, Shai Shalev-Shwartz:
Beyond Convexity: Stochastic Quasi-Convex Optimization.
Ali A. Nasir, Salman Durrani, Hani Mehrpouyan, Steven D. Blostein, Rodney A. Kennedy:
Timing and Carrier Synchronization in Wireless Communication Systems: A Survey and Classification of Research in the Last Five Years.
Thomas Y. Hou, Zuoqiang Shi:
Sparse Time-Frequency decomposition for multiple signals with same frequencies.
Patrick Zwickl, Ivan Gojmerac, Paul Fuxjäger, Peter Reichl, Oliver Holland:
The Society Spectrum: Self-Regulation of Cellular Network Markets.
Chaofan Ma, Wei Liang, Meng Zheng:
A Connectivity-Aware Approximation Algorithm for Relay Node Placement in Wireless Sensor Networks.
Xiaojun Wan, Ziqiang Cao, Furu Wei, Sujian Li, Ming Zhou:
Multi-Document Summarization via Discriminative Summary Reranking.
Radu Berdan, Eleni Vasilaki, Ali Khiat, Giacomo Indiveri, Alexantrou Serb, Themistoklis Prodromakis:
Emulating short-term synaptic dynamics with memristive devices.
Christoph Aistleitner, Aicke Hinrichs, Daniel Rudolf:
On the size of the largest empty box amidst a point set.
Siu On Chan, Tsz Chiu Kwok, Lap Chi Lau:
Random Walks and Evolving Sets: Faster Convergences and Limitations.
Souleymen Sahnoun, El-Hadi Djermoune, David Brie, Pierre Comon:
A Simultaneous Sparse Approximation Method for Multidimensional Harmonic Retrieval.
Yansong Gao, Omid Kavehei, Damith Chinthana Ranasinghe, Said F. Al-Sarawi, Derek Abbott:
Future Large-Scale Memristive Device Crossbar Arrays: Limits Imposed by Sneak-Path Currents on Read Operations.
Michael Neunert, Michael Blösch, Jonas Buchli:
An Open Source, Fiducial Based, Visual-Inertial State Estimation System.
Iago Landesa-Vazquez, José Luis Alba-Castro:
Shedding Light on the Asymmetric Learning Capability of AdaBoost.
Shashishekar Ramakrishna, Lukasz Górski, Adrian Paschke:
The Role of Pragmatics in Legal Norm Representation.
Zohreh Zahedi, Rodrigo Costas, Paul Wouters:
Do Mendeley readership counts help to filter highly cited WoS publications better than average citation impact of journals (JCS)?
Zohreh Zahedi, Rodrigo Costas, Paul Wouters:
How well developed are Altmetrics? Cross-disciplinary analysis of the presence of alternative metrics in scientific publications?

Jean-Lou De Carufel, Matya Katz, Matias Korman, André van Renssen, Marcel Roeloffzen, Shakhar Smorodinsky:
On Kinetic Range Spaces and their Applications.
Chi-Kin Chau, Qian Wang, Dah-Ming Chiu:
Economic Viability of Paris Metro Pricing for Digital Services.
Giuseppe Carbone, Ilaria Giannoccaro:
A model of human collective decision-making in complex environments.
Hossein Azizpour, Mostafa Arefiyan, Sobhan Naderi Parizi, Stefan Carlsson:
Spotlight the Negatives: A Generalized Discriminative Latent Model.
Xiaojiang Huang, Xiaojun Wan, Jianguo Xiao:
Learning to Mine Chinese Coordinate Terms Using the Web.

Giovanni Da San Martino, Nicolò Navarin, Alessandro Sperduti:
An Empirical Study on Budget-Aware Online Kernel Algorithms for Streams of Graphs.
Limin Wang, Yuanjun Xiong, Zhe Wang, Yu Qiao:
Towards Good Practices for Very Deep Two-Stream ConvNets.
Daniel Lokshtanov, Marcin Pilipczuk, Erik Jan van Leeuwen:
Independence and Efficient Domination on P6-free Graph.
Shervin Minaee, AmirAli Abdolrashidi, Yao Wang:
Iris Recognition Using Scattering Transform and Textural Features.



Guy Grebla, Berk Birand, Peter M. van de Ven, Gil Zussman:
Joint Transmission in Cellular Networks with CoMP - Stability and Scheduling Algorithms.
Aaron Jaech, Victoria Zayats, Hao Fang, Mari Ostendorf, Hannaneh Hajishirzi:
Talking to the crowd: What do people react to in online discussions?
Won-Yong Shin, Bikash C. Singh, Jaehee Cho, Andre M. Everett:
A New Understanding of Friendships in Space: Complex Networks Meet Twitter.
Alessandro Sordoni, Yoshua Bengio, Hossein Vahabi, Christina Lioma, Jakob Grue Simonsen, Jian-Yun Nie:
A Hierarchical Recurrent Encoder-Decoder For Generative Context-Aware Query Suggestion.


Zeyuan Allen Zhu, Yin Tat Lee, Lorenzo Orecchia:
Using Optimization to Obtain a Width-Independent, Parallel, Simpler, and Faster Positive SDP Solver.
Jianwei Xie, Sennur Ulukus:
Secure Degrees of Freedom of Multi-user Networks: One-Time-Pads in the Air via Alignment.
Michael B. Cohen, Jelani Nelson, David P. Woodruff:
Optimal approximate matrix product in terms of stable rank.
Bogdan S. Chlebus, Gianluca De Marco, Muhammed Talo:
Anonymous Processors with Synchronous Shared Memory.
Mehrdad Farajtabar, Yichen Wang, Manuel Gomez-Rodriguez, Shuang Li, Hongyuan Zha, Le Song:
COEVOLVE: A Joint Point Process Model for Information Diffusion and Network Co-evolution.
Dimitris Fotakis, Christos Tzamos, Emmanouil Zampetakis:
Who to Trust for Truthfully Maximizing Welfare?



Haider Ali Jasim Alshamary, Md Fahim Anjum, Tareq Y. Al-Naffouri, Alam Zaib, Weiyu Xu:
Optimal Non-coherent Data Detection for Massive SIMO Wireless Systems with General Constellations: A Polynomial Complexity Solution.
Olivier Curé, Hubert Naacke, Mohamed Amine Baazizi, Bernd Amann:
On the Evaluation of RDF Distribution Algorithms Implemented over Apache Spark.
Naman Agarwal, Afonso S. Bandeira, Konstantinos Koiliaris, Alexandra Kolla:
Multisection in the Stochastic Block Model using Semidefinite Programming.
Khodakhast Bibak, Bruce M. Kapron, S. Venkatesh:
On almost-universal multilinear modular hashing with composite moduli.
Jaderick P. Pabico, Alona V. De Grano, Alan L. Zarsuela:
Neural Network Classifiers for Natural Food Products.
Jungsik Hwang, Minju Jung, Naveen Madapana, Jinhyung Kim, Minkyu Choi, Jun Tani:
Achieving Synergy in Cognitive Behavior of Humanoids via Deep Learning of Dynamic Visuo-Motor-Attentional Coordination.
René van Bevern, Iyad A. Kanj, Christian Komusiewicz, Rolf Niedermeier, Manuel Sorge:
Well-Formed Separator Sequences, with an Application to Hypergraph Drawing.
Ashwinkumar Badanidiyuru, Christos H. Papadimitriou, Aviad Rubinstein, Lior Seeman, Yaron Singer:
Locally Adaptive Optimization: Adaptive Seeding for Monotone Submodular Functions.
Prosenjit Bose, Jean-Lou De Carufel, Michael Gene Dobbins, Heuna Kim, Giovanni Viglietta:
The Shadows of a Cycle Cannot All Be Paths.
Jeremy Kepner, William Arcand, David Bestor, Bill Bergeron, Chansup Byun, Lauren Edwards, Vijay Gadepally, Matthew Hubbell, Peter Michaleas, Julie Mullen, Andrew Prout, Antonio Rosa, Charles Yee, Albert Reuther:
Lustre, Hadoop, Accumulo.
Min Sang Yoon, Ahmed E. Kamal, Zhengyuan Zhu:
Request Prediction in Cloud with a Cyclic Window Learning Algorithm.
Jennifer Wang, Erik Schluntz, Brian Otis, Travis Deyle:
A New Vision for Smart Objects and the Internet of Things: Mobile Robots and Long-Range UHF RFID Sensor Tags.
Marcin Bienkowski, Martin Böhm, Jaroslaw Byrka, Marek Chrobak, Christoph Dürr, Lukas Folwarczny, Lukasz Jez, Jirí Sgall, Nguyen Kim Thang, Pavel Veselý:
Online Algorithms for Multi-Level Aggregation.
Donglai Wei, Bolei Zhou, Antonio Torralba, William T. Freeman:
Understanding Intra-Class Knowledge Inside CNN.
Ran He, Tieniu Tan, Larry S. Davis, Zhenan Sun:
Learning Structured Ordinal Measures for Video based Face Recognition.
Jisu Jeong, Sigve Hortemo Sæther, Jan Arne Telle:
Maximum matching width: new characterizations and a fast algorithm for dominating set.
Qilong Wang, Peihua Li, Lei Zhang, Wangmeng Zuo:
Towards Effective Codebookless Model for Image Classification.
Saurabh Khanna, Chandra R. Murthy:
Consensus based Decentralized Sparse Bayesian Learning for Joint Sparse Signal Recovery.

Pawel Brach, Marek Cygan, Jakub Lacki, Piotr Sankowski:
Algorithmic Complexity of Power Law Networks.
Niko Sünderhauf, Feras Dayoub, Sean McMahon, Ben Talbot, Ruth Schulz, Peter I. Corke, Gordon Wyeth, Ben Upcroft, Michael Milford:
Place Categorization and Semantic Mapping on a Mobile Robot.
Nikolaos Atzarakis:
Research Approaches on Energy-aware Cognitive Radio Networks and Cloud based Infrastructures.

Oludayo O. Olugbara, Manish Joshi, Michael M. Modiba, Virendrakumar C. Bhavsar:
Automated Matchmaking to Improve Accuracy of Applicant Selection for University Education System.
Silas L. Fong, Vincent Y. F. Tan, Jing Yang:
Non-Asymptotic Achievable Rates for Energy-Harvesting Channels using Save-and-Transmit.
Santosh Tirunagari:
Data Mining of Causal Relations from Text: Analysing Maritime Accident Investigation Reports.
Cristian Rusu, Nuria González Prelcic:
Optimized Compressed Sensing via Incoherent Frames Designed by Convex Optimization.
Seyed Alireza Razavi, Mikko Valkama, Danijela Cabric:
Compressive Identification of Active OFDM Subcarriers in Presence of Timing Offset.
Melisachew Wudage Chekol, Jakob Huber, Heiner Stuckenschmidt:
Towards Log-Linear Logics with Concrete Domains.
Tolga Mataracioglu, Sevgi Özkan, Ray Hackney:
Towards a Security Lifecycle Model against Social Engineering Attacks: SLM-SEA.
Tapas Kumar Mishra, Sudebkumar Prasant Pal:
An extremal problem in proper (r, p)-coloring of hypergraphs.
Robert Ganian, M. S. Ramanujan, Stefan Szeider:
Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting.
Or Sheffet:
Differentially Private Least Squares: Estimation, Confidence and Rejecting the Null Hypothesis.
James J. Q. Yu, Albert Y. S. Lam, Victor O. K. Li:
Adaptive Chemical Reaction Optimization for Global Numerical Optimization.
Bartosz Andreatto, Aleksandr Cariow:
An algorithm for fast computation of the multiresolution discrete Fourier transform.
Gourav Saha, Ramkrishna Pasumarthy:
Maximizing Profit of Cloud Brokers under Quantized Billing Cycles: a Dynamic Pricing Strategy based on Ski-Rental Problem.
Ilaria Gori, J. K. Aggarwal, Michael S. Ryoo:
Building Unified Human Descriptors For Multi-Type Activity Recognition.
Wen Shen, Cristina V. Lopes:
Managing Autonomous Mobility on Demand Systems for Better Passenger Experience.

Tim van Erven, Peter D. Grünwald, Nishant A. Mehta, Mark D. Reid, Robert C. Williamson:
Fast rates in statistical and online learning.
Marko Angjelichinoski, Cedomir Stefanovic, Petar Popovski, Frede Blaabjerg:
Power Talk in DC Micro Grids: Constellation Design and Error Probability Performance.
Saeed Alaei, Jason D. Hartline, Rad Niazadeh, Emmanouil Pountourakis, Yang Yuan:
Optimal Auctions vs. Anonymous Pricing.
Stephen Alstrup, Søren Dahlgaard, Mathias Bæk Tejs Knudsen, Ely Porat:
Sublinear distance labeling for sparse graphs.
Mircea Cimpoi, Subhransu Maji, Iasonas Kokkinos, Andrea Vedaldi:
Deep filter banks for texture recognition, description, and segmentation.
Bernardetta Addis, Antonio Capone, Giuliana Carello, Luca G. Gianoli, Brunilde Sansò:
Energy management in communication networks: a journey through modelling and optimization glasses.
Nathan Wiebe, Ashish Kapoor, Christopher E. Granade, Krysta Marie Svore:
Quantum Inspired Training for Boltzmann Machines.
Antti Rasmus, Harri Valpola, Mikko Honkala, Mathias Berglund, Tapani Raiko:
Semi-Supervised Learning with Ladder Network.
David G. Harris, Aravind Srinivasan:
Algorithmic and enumerative aspects of the Moser-Tardos distribution.
Shuran Song, Linguang Zhang, Jianxiong Xiao:
Robot In a Room: Toward Perfect Object Recognition in Closed Environments.
Hedyeh Beyhaghi, Nishanth Dikkala, Éva Tardos:
Effect of Strategic Grading and Early Offers in Matching Markets.



Kush Bhatia, Himanshu Jain, Purushottam Kar, Prateek Jain, Manik Varma:
Locally Non-linear Embeddings for Extreme Multi-label Learning.
Hernán Ponce de León, César Rodríguez, Josep Carmona, Keijo Heljanko, Stefan Haar:
Unfolding-Based Process Discovery.

Mahyar Shirvanimoghaddam, Yonghui Li, Mischa Dohler, Branka Vucetic:
Probabilistic Rateless Multiple Access for Machine-to-Machine Communication.
Stefan Langerman, Andrew Winslow:
A Quasilinear-Time Algorithm for Tiling the Plane Isohedrally with a Polyomino.
Jaewook Kang, Hyoyoung Jung, Kiseon Kim:
Fast Signal Separation of 2D Sparse Mixture via Approximate Message-Passing.
Toni-Jan Keith P. Monserrat, Jaderick P. Pabico, Eliezer A. Albacea:
A Hybrid Graph-drawing Algorithm for Large, Naturally-clustered, Disconnected Graphs.
Jaderick P. Pabico, Jose Rene L. Micor:
Ang Social Network sa Facebook ng mga Taga-Batangas at ng mga Taga-Laguna: Isang Paghahambing.
Anoop Cherian, Suvrit Sra:
Riemannian Dictionary Learning and Sparse Coding for Positive Definite Matrices.
Hai Xuan Pham, Chongyu Chen, Luc N. Dao, Vladimir Pavlovic, Jianfei Cai, Tat-Jen Cham:
Robust Performance-driven 3D Face Tracking in Long Range Depth Scenes.
Wentu Song, Chau Yuen:
Locally Repairable Codes with Functional Repair and Multiple Erasure Tolerance.
Ahmad Maatouki, Marek Szuba, Jörg Meyer, Achim Streit:
A horizontally-scalable multiprocessing platform based on Node.js.
Guy Kortsarz, Zeev Nutov:
A simplified 1.5-approximation algorithm for augmenting edge-connectivity of a graph from 1 to 2.

Eric Angel, Evripidis Bampis, Vincent Chau, Vassilis Zissimopoulos:
Minimizing Total Calibration Cost.
Leandros A. Maglaras, Jianmin Jiang, Tiago J. Cruz:
Combining ensemble methods and social network metrics for improving accuracy of OCSVM on intrusion detection in SCADA systems.
Nazim Burak Karahanoglu, Hakan Erdogan:
Comments On "Multipath Matching Pursuit" by Kwon, Wang and Shim.
Chetan Singh Thakur, Runchun Wang, Tara Julia Hamilton, Jonathan Tapson, André van Schaik:
A Trainable Neuromorphic Integrated Circuit that Exploits Device Mismatch.
Philip Bille, Anders Roy Christiansen, Patrick Hagge Cording, Inge Li Gørtz:
Finger Search, Random Access, and Longest Common Extensions in Grammar-Compressed Strings.
Shengjun Liu, Charlie C. L. Wang, Guido Brunnett, Jun Wang:
A Closed-Form Formulation of HRBF-Based Surface Reconstruction.
Katarína Cechlárová, Pavlos Eirinakis, Tamás Fleiner, Dimitrios Magos, David Manlove, Ioannis Mourtos, Eva Oceláková, Baharak Rastegari:
Pareto Optimal Matchings in Many-to-Many Markets with Ties.
Joris Renkens, Angelika Kimmig, Luc De Raedt:
Lazy Explanation-Based Approximation for Probabilistic Logic Programming.
Manuj Mukherjee, Navin Kashyap, Yogesh Sankarasubramaniam:
On the Public Communication Needed to Achieve SK Capacity in the Multiterminal Source Model.
Yuliya Butkova, Hassan Hatefi, Holger Hermanns, Jan Krcál:
Optimal Continuous Time Markov Decisions.
M. Saquib Sarfraz, Rainer Stiefelhagen:
Deep Perceptual Mapping for Thermal to Visible Face Recognition.
Luís Marujo, Ricardo Ribeiro, David Martins de Matos, João Paulo Neto, Anatole Gershman, Jaime G. Carbonell:
Extending a Single-Document Summarizer to Multi-Document: a Hierarchical Approach.
Maximilian Drees, Matthias Feldotto, Sören Riechers, Alexander Skopalik:
On Existence and Properties of Approximate Pure Nash Equilibria in Bandwidth Allocation Games.
Rajib Lochan Das, Mrityunjoy Chakraborty:
Zero Attracting PNLMS Algorithm and Its Convergence in Mean.
Mayank Goswami, Siming Li, Junwei Zhang, Emil Saucan, Xianfeng David Gu, Jie Gao:
Space Filling Curves for 3D Sensor Networks with Complex Topology.
José Manuel Sánchez-Vílchez, Imen Grida Ben Yahia, Noël Crespi, Tinku Rasheed, Domenico Siracusa:
Softwarized 5G Networks Resiliency with Selfhealing.
José Sánchez, Imen Grida Ben Yahia, Noël Crespi:
POSTER: Self-Healing Mechanisms for Software-Defined Networks.
Thomas L. Hansen, Peter Bjørn Jørgensen, Mihai-Alin Badiu, Bernard H. Fleury:
Joint Sparse Channel Estimation and Decoding: Continuous and Discrete Domain Sparsity.
Adham Beykikhoshk, Ognjen Arandjelovic, Dinh Q. Phung, Svetha Venkatesh:
Overcoming data scarcity of Twitter: using tweets as bootstrap with application to autism-related topic content analysis.



Anabel Quan-Haase, Kim Martin, Lori McCay-Peet:
Networks of digital humanities scholars: The informational and social uses and gratifications of Twitter.
Seyed Alireza Razavi, Mikko Valkama, Danijela Cabric:
Compressive Detection of Random Subspace Signals.
(Withdrawn) Toward Practical Differential Privacy in Smart Grid with Capacity-Limited Rechargeable Batteries.

(Withdrawn) Spectral Smoothing via Random Matrix Perturbations.
S. Sarma:
SenseDroid: A Context-Aware Information Exchange Framework for Mobile Sensor Networks Using Android Phones.
Tushar Khot, Niranjan Balasubramanian, Eric Gribkoff, Ashish Sabharwal, Peter Clark, Oren Etzioni:
Markov Logic Networks for Natural Language Question Answering.
Diego Cifuentes, Pablo A. Parrilo:
An efficient tree decomposition method for permanents and mixed discriminants.
Feilong Liu, Spyros Blanas:
Forecasting the cost of processing multi-join queries via hashing for main-memory databases (Extended version).
Hongkai Yu, Youjie Zhou, Hui Qian, Min Xian, Yuewei Lin, Dazhou Guo, Kang Zheng, Kareem Abdelfatah, Song Wang:
LooseCut: Interactive Image Segmentation with Loosely Bounded Boxes.
Takeaki Uno, Hiroki Maegawa, Takanobu Nakahara, Yukinobu Hamuro, Ryo Yoshinaka, Makoto Tatsuta:
Micro-Clustering: Finding Small Clusters in Large Diversity.



Jack Murtagh, Salil P. Vadhan:
The Complexity of Computing the Optimal Composition of Differential Privacy.
Venkatanathan Varadarajan, Yinqian Zhang, Thomas Ristenpart, Michael M. Swift:
A Placement Vulnerability Study in Multi-tenant Public Clouds.
Christoph Pohl, Michael Meier, Hans-Joachim Hof:
Apate - A Linux Kernel Module for High Interaction Honeypots.
Andris Ambainis, Aleksandrs Belovs, Oded Regev, Ronald de Wolf:
Efficient Quantum Algorithms for (Gapped) Group Testing and Junta Testing.
Thomas Gilray, Steven Lyde, Michael D. Adams, Matthew Might, David Van Horn:
Pushdown Control-Flow Analysis for Free.
(Withdrawn) Performance Analysis for Energy Harvesting Communication Systems: From Throughput to Energy Diversity.
Heng Yang, Wenxuan Mou, Yichi Zhang, Ioannis Patras, Hatice Gunes, Peter Robinson:
Face Alignment Assisted by Head Pose Estimation.
Marlon McKenzie, Hua Fan, Wojciech M. Golab:
Continuous Partial Quorums for Consistency-Latency Tuning in Distributed NoSQL Storage Systems.

Pablo Robles-Granda, Sebastián Moreno, Jennifer Neville:
Using Bayesian Network Representations for Effective Sampling from Generative Network Models.
Jinshan Zeng, Zhimin Peng, Shaobo Lin:
A Gauss-Seidel Iterative Thresholding Algorithm for lq Regularized Least Squares Regression.
Ankit Sharma, Xiaodong Feng, Kartik Singhal, Rui Kuang, Jaideep Srivastava:
Predicting Small Group Accretion in Social Networks: A topology based incremental approach.
(Withdrawn) On Error Exponents and Moderate Deviations for Lossless Streaming Compression of Correlated Sources.
Clément Charpentier:
The Coloring Game on Planar Graphs with Large Girth, by a result on Sparse Cactuses.
Zhangyang Wang, Jianchao Yang, Hailin Jin, Eli Shechtman, Aseem Agarwala, Jonathan Brandt, Thomas S. Huang:
DeepFont: Identify Your Font from An Image.
Alireza Dirafzoon, Alper Bozkurt, Edgar J. Lobaton:
Dynamic Topological Mapping with Biobotic Swarms.
Yong-Jin Kim, Hyon-Song Paek, Nam-Chol Kim, Chong-Il Byon:
An algorithm for computing Grobner basis and the complexity evaluation.
Renato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins:
Continuity as a computational effect.
Shruti Tyagi, Deepti Chopra, Iti Mathur, Nisheeth Joshi:
Classifier-Based Text Simplification for Improved Machine Translation.
(Withdrawn) Positive Unknown Input Observer For Positive Linear Systems.
Ori Shmuel, Asaf Cohen, Omer Gurewitz:
Capacity and performance analysis for multi-user system under distributed opportunistic scheduling in a time dependent channel.
Marie Kerjean, Christine Tasson:
Mackey-complete spaces and power series - A topological model of Differential Linear Logic.
Samuel B. Hopkins, Jonathan Shi, David Steurer:
Tensor principal component analysis via sum-of-squares proofs.
Jingjin Yu, Steven M. LaValle:
Optimal Multi-Robot Path Planning on Graphs: Structure and Computational Complexity.
Jingjin Yu, Steven M. LaValle:
Optimal Multi-Robot Path Planning on Graphs: Complete Algorithms and Effective Heuristics.
Jaeseong Jeong, Mathieu Leconte, Alexandre Proutière:
Mobility Prediction Using Non-Parametric Bayesian Model.
Yang Li, Jongmoo Choi, Jin Sun, Saugata Ghose, Hui Wang, Justin Meza, Jinglei Ren, Onur Mutlu:
Managing Hybrid Main Memories with a Page-Utility Driven Performance Model.
Matthew Hague, Jonathan Kochems, C.-H. Luke Ong:
Unboundedness and Downwards Closures of Higher-Order Pushdown Automata.
Marlies Olensky, Marion Schmidt, Nees Jan van Eck:
Evaluation of the citation matching algorithms of CWTS and iFQ in comparison to Web of Science.
Zhao Zhang, Kyle Barbary, Frank Austin Nothaft, Evan R. Sparks, Oliver Zahn, Michael J. Franklin, David A. Patterson, Saul Perlmutter:
Scientific Computing Meets Big Data Technology: An Astronomy Use Case.
Wei Chen, Fu Li, Tian Lin, Aviad Rubinstein:
Combining Traditional Marketing and Viral Marketing with Amphibious Influence Maximization.
Victor Magron, George A. Constantinides, Alastair F. Donaldson:
Certified Roundoff Error Bounds Using Semidefinite Programming.
Mark Saroufim:
Aren't we all nearest neighbors: Spatial trees, high dimensional reductions and batch nearest neighbor search.
Zahid Ahmed Ansari, M. F. Azeem, Waseem Ahmed, A. Vinaya Babu:
Quantitative Evaluation of Performance and Validity Indices for Clustering the Web Navigational Sessions.
(Withdrawn) Entanglement in Reversible Quantum Computing.

José Manuel Sánchez-Vílchez, Imen Grida Ben Yahia, Noël Crespi:
Self-Modeling Based Diagnosis of Software-Defined Networks.
Charu Gaur, Baranidharan Mohan, Kedar Khare:
Sparsity assisted solution to the twin image problem in phase retrieval.
Giovanni Da San Martino, Nicolò Navarin, Alessandro Sperduti:
Ordered Decompositional DAG Kernels Enhancements.
Yves Métivier, John Michael Robson, Akka Zemmari:
A Distributed Enumeration Algorithm and Applications to All Pairs Shortest Paths, Diameter.
Saul Rodriguez Duenas, Stig Ollmar, Muhammad Waqar, Ana Rusu:
A Batteryless Sensor ASIC for Implantable Bio-impedance Applications.
Matias Korman, Wolfgang Mulzer, André van Renssen, Marcel Roeloffzen, Paul Seiferth, Yannik Stein:
Time-Space Trade-offs for Triangulations and Voronoi Diagrams.
Tomás Brázdil, Petr Hlinený, Antonín Kucera, Vojtech Rehák, Matús Abaffy:
Strategy Synthesis in Adversarial Patrolling Games.
(Withdrawn) Unconstrained Facial Landmark Localization with Backbone-Branches Fully-Convolutional Networks.
Maria Leitner, Zhendong Ma, Stefanie Rinderle-Ma:
A Cross-Layer Security Analysis for Process-Aware Information Systems.
Michael Etscheid, Stefan Kratsch, Matthias Mnich, Heiko Röglin:
Polynomial Kernels for Weighted Problems.
Itziar Aldabe, Oier Lopez de Lacalle, Iñigo Lopez-Gazpio, Montse Maritxalar:
Supervised Hierarchical Classification for Student Answer Scoring.
Bart Besselink, Valerio Turri, Sebastian H. van de Hoef, Kuo-Yun Liang, Assad Al Alam, Jonas Mårtensson, Karl Henrik Johansson:
Cyber-physical Control of Road Freight Transport.
Alfredo De Santis, Giancarlo De Maio, Umberto Ferraro Petrillo:
Using HTML5 to Prevent Detection of Drive-by-Download Web Malware.

Wansu Bao, Heliang Huang:
Middle-Solving Grobner bases algorithm for cryptanalysis over finite fields.
Francisco Hernando-Gallego, Antonio Artés-Rodríguez:
Individual performance calibration using physiological stress signals.
Hiroki Sayama, Catherine Cramer, Mason A. Porter, Lori Sheetz, Stephen M. Uzzo:
What are essential concepts about networks?

Bang Hui Lim, Dongyuan Lu, Tao Chen, Min-Yen Kan:
#mytweet via Instagram: Exploring User Behaviour across Multiple Social Networks.
Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong:
End-To-End Policy-Agnostic Security for Database-Backed Applications.
Homa Alemzadeh, Ravishankar K. Iyer, Zbigniew T. Kalbarczyk, Nancy Leveson, Jai Raman:
Adverse Events in Robotic Surgery: A Retrospective Study of 14 Years of FDA Data.
Soheil Eshghi, Saswati Sarkar, Santosh S. Venkatesh:
Visibility-Aware Optimal Contagion of Malware Epidemics.
Clément L. Canonne, Ilias Diakonikolas, Themis Gouleakis, Ronitt Rubinfeld:
Testing Shape Restrictions of Discrete Distributions.


Gabi Sarkis, Ido Tal, Pascal Giard, Alexander Vardy, Claude Thibeault, Warren J. Gross:
Flexible and Low-Complexity Encoding and Decoding of Systematic Polar Codes.
Ventsislav Chonev, Joël Ouaknine, James Worrell:
On the Decidability of the Continuous Infinite Zeros Problem.
Giuseppe Tommaso Costanzo, Sandro Iacovella, Frederik Ruelens, T. Leurs, Bert Claessens:
Experimental analysis of data-driven control for a building heating system.


Swaran S. Ravindra, Rohitash Chandra, Virallikattur S. Dhenesh:
A Study of the Management of Electronic Medical Records in Fijian Hospitals.
Khaled Skander Ben Slimane, Alexis Comte, Olivier Gasquet, Abdelwahab Heba, Olivier Lezaud, Frederic Maris, Maël Valais:
Twist your logic with TouIST.
José Martín Castro-Manzano, Verónica Reyes-Meza, Jorge Medina-Delgadillo:
{dasasap}, an App for Syllogisms.
Arno Ehle, Norbert Hundeshagen, Martin Lange:
The Sequent Calculus Trainer - Helping Students to Correctly Construct Proofs.
Nino Guallart, Ángel Nepomuceno-Fernández:
Set theory and tableaux for teaching propositional logic.
Angelo Kyrilov, David C. Noelle:
Using Automated Theorem Provers to Teach Knowledge Representation in First-Order Logic.


Heliang Huang, Wansu Bao:
Algorithm for Solving Massively Underdefined Systems of Multivariate Quadratic Equations over Finite Fields.
Juan Michelini, Alvaro Tasistro:
Presentation of Classical Propositional Tableaux on Program Design Premises.
Stefan Minica:
RAESON: A Tool for Reasoning Tasks Driven by Interactive Visualization of Logical Structure.
Favio E. Miranda-Perea, P. Selene Linares-Arévalo, Atocha Aliseda-Llera:
How to prove it in Natural Deduction: A Tactical Approach.
Carlos A. Oller, Ana Couló:
Why teach an introductory course in Mathematical Logic in the Philosophy curriculum?
Jeremy Seligman, Declan Thompson:
Teaching natural deduction in the right order with Natural Deduction Planner.


Patrick Terrematte, João Marcos:
TryLogic tutorial: an approach to Learning Logic by proving and refuting.
Anna Zamansky, Eitan Farchi:
Teaching Logic to Information Systems Students: Challenges and Opportunities.
Fang Chen, Bo Yang, Qiaoni Han, Cailian Chen, Xin-Ping Guan:
Dynamic Sleep Control in Green Relay-Assisted Networks for Energy Saving and QoS Improving.
Raúl Díaz, Minhaeng Lee, Jochen Schubert, Charless C. Fowlkes:
Lifting GIS Maps into Strong Geometric Context.
Guojun Liao, Xi Chen, Xianxin Cai, Ben Hildebrand, Dion Fleitas:
A New Method for Triangular Mesh Generation.
Martin Lévesque:
Http-Burst: Improving HTTP Efficiency in the Era of Bandwidth Hungry Web Applications.
Jian-Feng Cai, Suhui Liu, Weiyu Xu:
Projected Wirtinger Gradient Descent for Low-Rank Hankel Matrix Completion in Spectral Compressed Sensing.
Xi Chen, Guojun Liao:
New Variational Method of Grid Generation with Prescribed Jacobian Determinant and Prescribed Curl.
Jens Bürger, Alireza Goudarzi, Darko Stefanovic, Christof Teuscher:
Computational Capacity and Energy Consumption of Complex Resistive Switch Networks.
Rafael da Ponte Barbosa, Alina Ene, Huy L. Nguyen, Justin Ward:
A New Framework for Distributed Submodular Maximization.
Shihao Yan, Nan (Jonas) Yang, Giovanni Geraci, Robert A. Malaney, Jinhong Yuan:
Optimization of Code Rates in SISOME Wiretap Channels.
Fedor V. Fomin, Alexander Golovnev, Alexander S. Kulikov, Ivan Mihajlin:
Tight Bounds for Subgraph Isomorphism and Graph Homomorphism.
Carlos H. M. de Lima, Pedro Henrique Juliano Nardelli, Hirley Alves, Matti Latva-aho:
Contention-based Geographic Forwarding Strategies for Wireless Sensors Networks.
Carlos H. M. de Lima, Hirley Alves, Pedro Henrique Juliano Nardelli, Matti Latva-aho:
Effects of Relay Selection Strategies on the Spectral Efficiency of Wireless Systems with Half- and Full-duplex Nodes.
Itsik Bergel, Yona Perets, Shlomo Shamai:
Uplink Downlink Rate Balancing and throughput scaling in FDD Massive MIMO Systems.
Daniel Graziotin, Xiaofeng Wang, Pekka Abrahamsson:
Understanding the Affect of Developers: Theoretical Background and Guidelines for Psychoempirical Software Engineering.
Alireza Khosravian, Jochen Trumpf, Robert E. Mahony, Christian Lageman:
Observers for invariant systems on Lie groups with biased input measurements and homogeneous outputs.
Rami Mochaourab, Emil Björnson, Mats Bengtsson:
Pilot Clustering in Asymmetric Massive MIMO Networks.
Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Engel Lefaucheux, Benjamin Monmege:
Simple Priced Timed Games Are Not That Simple.
Itsik Bergel, Daniel Yellin, Shlomo Shamai:
A lower bound on the data rate of dirty paper coding in general noise and interference.


Davide Nunes, Luis Antunes:
Modelling Structured Societies: a Multi-relational Approach to Context Permeability.
Mohammed S. Elmusrati:
Towards Green and Infinite Capacity in Wireless Communication Networks: Beyond The Shannon Theorem.
Subhash Lakshminarayana, Mohamad Assaad, Mérouane Debbah:
Transmit Power Minimization in Small Cell Networks Under Time Average QoS Constraints.
Wei Yang, Giuseppe Durisi, Yury Polyanskiy:
Minimum Energy to Send k Bits Over Multiple-Antenna Fading Channels.
Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio:
Compositional Safety Verification with Max-SMT.
Thibault Lesieur, Florent Krzakala, Lenka Zdeborová:
MMSE of probabilistic low-rank matrix estimation: Universality with respect to the output channel.


Mario Alviano, Wolfgang Faber, Martin Gebser:
Rewriting recursive aggregates in answer set programming: back to monotonicity.
Ankush Chakrabarty, Gregery T. Buzzard, Stanislaw H. Zak, Fanglai Zhu, Ann E. Rundell:
Simultaneous Unknown Input And Sensor Noise Reconstruction For Nonlinear Systems With Boundary Layer Sliding Mode Observers.
(Withdrawn) SkyHash: an Opinion Dynamics Model for Hash Consensus over P2P network.

Abbas Kazemipour, Min Wu, Behtash Babadi:
Robust Estimation of Self-Exciting Point Process Models with Application to Neuronal Modeling.
Zhouyue Pi, Junil Choi, Robert W. Heath Jr.:
Millimeter-wave Gbps Broadband Evolution towards 5G: Fixed Access and Backhaul.

Jørgen Villadsen, Alexander Birch Jensen, Anders Schlichtkrull:
NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle.

Sude Tavassoli, Katharina Anna Zweig:
Analyzing the activity of a person in a chat by combining network analysis and fuzzy logic.

Pascal Potvin, Hanen Garcia Gamardo, Kim Khoa Nguyen, Mohamed Cheriet:
Hyper Heterogeneous Cloud-based IMS Software Architecture: A Proof-of-Concept and Empirical Analysis.
Stephen Alstrup, Inge Li Gørtz, Esben Bistrup Halvorsen, Ely Porat:
Distance labeling schemes for trees.
Nuno Fachada, Vitor V. Lopes, Rui Costa Martins, Agostinho C. Rosa:
Parallelization Strategies for Spatial Agent-based Models.
Konstantinos Ntougias, Dimitrios Ntaikos, Constantinos B. Papadias:
Reducing Complexity in Next-Generation MU-MIMO Systems.
Hayder Albehadili, Naz Islam:
Unsupervised Decision Forest for Data Clustering and Density Estimation.
Vinit Kumar, Ajay Agarwal:
HT-Ring Paxos: Theory of High Throughput State-Machine Replication for Clustered Data Centers.

Changsheng You, Kaibin Huang, Hyukjin Chae:
Energy Efficient Mobile Cloud Computing Powered by Wireless Energy Transfer.
Khalid Khan, D. K. Lobiyal:
A de Casteljau Algorithm for Bernstein type Polynomials based on (p, q)-integers in CAGD.
Maria Chiara Angelini, Francesco Caltagirone, Florent Krzakala, Lenka Zdeborová:
Spectral Detection on Sparse Hypergraphs.

Iago Landesa-Vazquez, José Luis Alba-Castro:
Revisiting AdaBoost for Cost-Sensitive Classification. Part I: Theoretical Perspective.
Iago Landesa-Vazquez, José Luis Alba-Castro:
Revisiting AdaBoost for Cost-Sensitive Classification. Part II: Empirical Analysis.
George T. Karetsos, Angelos N. Rouskas, Fotis Foukalas:
Energy-efficient Traffic Bypassing in LTE HetNets with Mobile Relays.
Xudong Zhu, Linglong Dai, Zhaocheng Wang:
Graph Coloring Based Pilot Allocation to Mitigate Pilot Contamination for Multi-Cell Massive MIMO Systems.
Ali Ismayilov, Dimitris Kontokostas, Sören Auer, Jens Lehmann, Sebastian Hellmann:
Wikidata through the Eyes of DBpedia.
Aamena Alshamsi, Fabio Pianesi, Bruno Lepri, Alex Pentland, Iyad Rahwan:
Beyond Contagion: Reality Mining Reveals Complex Patterns of Social Influence.
Sébastien Maulat, Bruno Salvy:
Formulas for Continued Fractions. An Automated Guess and Prove Approach.

Xudong Zhu, Zhaocheng Wang, Chen Qian, Linglong Dai, Jinhui Chen, Sheng Chen, Lajos Hanzo:
Soft Pilot Reuse and Multi-Cell Block Diagonalization Precoding for Massive MIMO Systems.
Israel Mendonça, Rosa Figueiredo, Vincent Labatut, Philippe Michelon:
Relevance of Negative Links in Graph Partitioning: A Case Study Using Votes From the European Parliament.
Dirk Trossen, Martin J. Reed, Janne Riihijärvi, Michael Georgiades, Nikos Fotiou, George Xylomenos:
IP Over ICN - The Better IP? An Unusual Take on Information-Centric Networking.
Konstantin Makarychev, Yury Makarychev, Maxim Sviridenko, Justin Ward:
A bi-criteria approximation algorithm for k Means.
Pooja Vyavahare, Nutan Limaye, D. Manjunath:
On the Maximum Rate of Networked Computation in a Capacitated Network.
Jiayi Zhang, Linglong Dai, Yu Zhang, Zhaocheng Wang:
Unified Performance Analysis of Mixed Radio Frequency/Free-Space Optical Dual-Hop Transmission Systems.
Jiayi Zhang, Linglong Dai, Zhaocheng Wang, Derrick Wing Kwan Ng, Wolfgang H. Gerstacker:
Effective Rate Analysis of MISO Systems over α-μ Fading Channels.
Jiayi Zhang, Linglong Dai, Xinling Zhang, Emil Björnson, Zhaocheng Wang:
Achievable Rate of Rician Large-Scale MIMO Channels with Transceiver Hardware Impairments.
Jiayi Zhang, Linglong Dai, Wolfgang H. Gerstacker, Zhaocheng Wang:
Effective capacity of communication systems over κ-μ shadowed fading channels.
Aleksandar Ichkov, Vladimir Atanasovski, Liljana Gavrilovska:
Hybrid access control with modified SINR association for future heterogeneous networks.
Bander A. Alzahrani, Martin J. Reed, Vassilios G. Vassilakis:
Resistance against brute-force attacks on stateless forwarding in information centric networking.
Arun Nair, Praveen Srinivasan, Sam Blackwell, Cagdas Alcicek, Rory Fearon, Alessandro De Maria, Vedavyas Panneershelvam, Mustafa Suleyman, Charles Beattie, Stig Petersen, Shane Legg, Volodymyr Mnih, Koray Kavukcuoglu, David Silver:
Massively Parallel Methods for Deep Reinforcement Learning.
Alexandr Andoni, Ilya P. Razenshteyn:
Tight Lower Bounds for Data-Dependent Locality-Sensitive Hashing.
Seshadhri Srinivasan, Furio Buonopane, Srini Ramaswamy, Juri Vain:
Verifying Response Times in Networked Automation Systems Using Jitter Bounds.
Mingming Chen, Tommy Nguyen, Boleslaw K. Szymanski:
A New Metric for Quality of Network Community Structure.
Imrul Kayes, Nicolas Kourtellis, Daniele Quercia, Adriana Iamnitchi, Francesco Bonchi:
The Social World of Content Abusers in Community Question Answering.


Alexander Herzog, Nicholas Rotella, Stefan Schaal, Ludovic Righetti:
Trajectory generation for multi-contact momentum-control.
S. Ali Mirsoleimani, Aske Plaat, H. Jaap van den Herik, Jos Vermaseren:
Scaling Monte Carlo Tree Search on Intel Xeon Phi.
Dimitris Fotakis, Michael Lampis, Vangelis Th. Paschos:
Sub-exponential Approximation Schemes for CSPs: from Dense to Almost Sparse.
Risi Kondor, Nedelina Teneva, Pramod Kaushik Mudrakarta:
Parallel MMF: a Multiresolution Approach to Matrix Computation.
Nicholas Rotella, Alexander Herzog, Stefan Schaal, Ludovic Righetti:
Humanoid Momentum Estimation Using Sensed Contact Wrenches.
Robert Ryan McCune, Tim Weninger, Gregory R. Madey:
Thinking Like a Vertex: a Survey of Vertex-Centric Frameworks for Distributed Graph Processing.
Xiwei Liu:
Bridge the gap between network-based inference method and global ranking method in personal recommendation.
Bishnu P. Lamichhane:
A quadrilateral 'mini' finite element for the Stokes problem using a single bubble function.

Binay K. Bhattacharya, Ante Custic, Akbar Rafiey, Arash Rafiey, Vladyslav Sokol:
Approximation Algorithms for Generalized MST and TSP in Grid Clusters.
(Withdrawn) Eye-2-I: Eye-tracking for just-in-time implicit user profiling.
Xinyu Gao, Linglong Dai, Yongkui Ma, Zhaocheng Wang:
Low-complexity near-optimal signal detection for uplink large-scale MIMO systems.
S. P. Alaka, T. Lakshmi Narasimhan, A. Chockalingam:
Coded Index Modulation for Non-DC-Biased OFDM in Multiple LED Visible Light Communication.
Junil Choi, Jianhua Mo, Robert W. Heath Jr.:
Near Maximum-Likelihood Detector and Channel Estimator for Uplink Multiuser Massive MIMO Systems with One-Bit ADCs.
Foto N. Afrati, Shlomi Dolev, Ephraim Korach, Shantanu Sharma, Jeffrey D. Ullman:
Assignment Problems of Different-Sized Inputs in MapReduce.
Sulong Shi, Longxiang Yang, Hongbo Zhu:
Outage Balancing in Downlink Non-Orthogonal Multiple Access With Statistical Channel State Information.
Florian Geigl, Daniel Lamprecht, Rainer Hofmann-Wellenhof, Simon Walk, Markus Strohmaier, Denis Helic:
Random Surfers on a Web Encyclopedia.
Shlomi Dolev, Lukasz Krzywiecki, Nisha Panwar, Michael Segal:
Vehicle Authentication via Monolithically Certified Public Key and Attributes.
Seng W. Loke:
The Internet of Flying-Things: Opportunities and Challenges with Airborne Fog Computing and Mobile Cloud in the Clouds.
Alessandro Biason, Michele Zorzi:
Joint Transmission and Energy Transfer Policies for Energy Harvesting Devices with Finite Batteries.

Nicholas H. Kirk, Ilya Dianov:
Towards Predicting First Daily Departure Times: a Gaussian Modeling Approach for Load Shift Forecasting.
Jianxi Luo, Daniel E. Whitney:
Asymmetry in in-degree and out-degree distributions of large-scale industrial networks.
Hongyuan Zhu, Shijian Lu, Jianfei Cai, Guangqing Lee:
Diagnosing State-Of-The-Art Object Proposal Methods.
Kei Sakaguchi, Ehab Mahmoud Mohamed, Hideyuki Kusano, Makoto Mizukami, Shinichi Miyamoto, Roya E. Rezagah, Koji Takinami, Kazuaki Takahashi, Naganori Shirakata, Hailan Peng, Toshiaki Yamamoto, Shinobu Nanba:
Millimeter-wave Wireless LAN and its Extension toward 5G Heterogeneous Networks.
Alexandra Carpentier, Alessandro Lazaric, Mohammad Ghavamzadeh, Rémi Munos, Peter Auer, András Antos:
Upper-Confidence-Bound Algorithms for Active Learning in Multi-Armed Bandits.
Tianpei Xie, Nasser M. Nasrabadi, Alfred O. Hero III:
Learning to classify with possible sensor failures.
Maedeh Aghaei, Mariella Dimiccoli, Petia Radeva:
Multi-Face Tracking by Extended Bag-of-Tracklets in Egocentric Videos.

Hamed Ahmadi, Danny Finn, Rouzbeh Razavi, Holger Claussen, Luiz A. DaSilva:
Optimization of Demand Hotspot Capacities using Switched Multi-Element Antenna Equipped Small Cells.
Angel Torres Moreira, Mónica Aguilar-Igartua, Silvia Puglisi:
Design and implementation of an Android application to anonymously analyse locations of the citizens in Barcelona.
Jose Teixeira, Gregorio Robles, Jesús M. González-Barahona:
Lessons Learned from Applying Social Network Analysis on an Industrial Free/Libre/Open Source Software Ecosystem.
Xinyu Gao, Linglong Dai, Yuting Hu, Zhongxu Wang, Zhaocheng Wang:
Matrix Inversion-Less Signal Detection Using SOR Method for Uplink Large-Scale MIMO Systems.
Xinyu Gao, Linglong Dai, Shuangfeng Han, Chih-Lin I, Robert W. Heath Jr.:
Energy-Efficient Hybrid Analog and Digital Precoding for mmWave MIMO Systems with Large Antenna Arrays.
Xinyu Gao, Linglong Dai, Chau Yuen, Zhaocheng Wang:
Turbo-Like Beamforming Based on Tabu Search Algorithm for Millimeter-Wave Massive MIMO Systems.
Mingming Chen, Konstantin Kuzmin, Boleslaw K. Szymanski:
Extension of Modularity Density for Overlapping Community Structure.
Ivan Gaspar, Luciano Leonel Mendes, Maximilian Matthé, Nicola Michailow, Dan Zhang, Antonio Albertiy, Gerhard P. Fettweis:
GFDM - A Framework for Virtual PHY Services in 5G Networks.
Wenqian Shen, Linglong Dai, Yi Shi, Xudong Zhu, Zhaocheng Wang:
Compressive sensing based differential channel feedback for massive MIMO.
Alireza Shekaramiz, Jörg Liebeherr, Almut Burchard:
Window Flow Control Systems with Random Service.
Amit Chakrabarti, Anthony Wirth:
Incidence Geometries and the Pass Complexity of Semi-Streaming Set Cover.
Rahul Singh, Ke Ma, Anupam A. Thatte, Panganamala Ramana Kumar, Le Xie:
A Theory for the Operation of the Independent System Operator in a Smart Grid with Stochastic Renewables, Demand Response and Storage.
Jihong Park, Seong-Lyun Kim, Jens Zander:
Tractable Resource Management in Millimeter-Wave Overlaid Ultra-Dense Cellular Networks.
Chandra Chekuri, Vivek Madan:
Simple and Fast Rounding Algorithms for Directed and Node-weighted Multiway Cut.
Jeya Pradha J., Sanket S. Kalamkar, Adrish Banerjee:
On Information and Energy Cooperation in Energy Harvesting Cognitive Radio.
Moreno Marzolla:
Quantitative Analysis of the Italian National Scientific Qualification Part II: applicant profiles and final reports.
Alireza Sheikhattar, Jonathan B. Fritz, Shihab A. Shamma, Behtash Babadi:
Recursive Sparse Point Process Regression with Application to Spectrotemporal Receptive Field Plasticity Analysis.
Lex Fridman, Philipp Langhans, Joonbum Lee, Bryan Reimer:
Driver Gaze Estimation Without Using Eye Movement.
Tomas Boothby, Andrew D. King, Aidan Roy:
Fast clique minor generation in Chimera qubit connectivity graphs.
Samet Oymak, Benjamin Recht, Mahdi Soltanolkotabi:
Sharp Time-Data Tradeoffs for Linear Inverse Problems.
Iulian Vlad Serban, Alessandro Sordoni, Yoshua Bengio, Aaron C. Courville, Joelle Pineau:
Hierarchical Neural Network Generative Models for Movie Dialogues.
Jian Xu, Xuhui Shao, Jianjie Ma, Kuang-chih Lee, Hang Qi, Quan Lu:
Lift-Based Bidding in Ad Selection.
Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn:
Higher-order symbolic execution for contract verification and refutation.
Karsten Lehmann, Alban Grastien, Pascal Van Hentenryck:
The Complexity of Switching and FACTS Maximum-Potential-Flow Problems.
Zhenliang Zhang, Yuan Wang, Edwin K. P. Chong, Ali Pezeshki, Louis L. Scharf:
Subspace selection for projection maximization with matroid constraints.
Yongtao Hu, Jimmy S. J. Ren, Jingwen Dai, Chang Yuan, Li Xu, Wenping Wang:
Deep Multimodal Speaker Naming.


Rami Mochaourab, Emil Björnson, Mats Bengtsson:
Adaptive Pilot Clustering in Heterogeneous Massive MIMO Networks.
Jeff Kinne, Ján Manuch, Akbar Rafiey, Arash Rafiey:
Ordering with precedence constraints and budget minimization.
Giorgia Di Tommaso, Giovanni Stilo, Paola Velardi:
Analysis of women leadership in enterprise social networks.
Darko Brodic, Zoran N. Milivojevic, Alessia Amelio:
Analysis of the South Slavic Scripts by Run-Length Features of the Image Texture.
Jean-François Marckert, Nasser Saheb-Djahromi, Akka Zemmari:
Election algorithms with random delays in trees.
Aleksandr Vorobev, Gleb Gusev:
Lower Bounds for Multi-armed Bandit with Non-equivalent Multiple Plays.
Xintong Han, Chongyang Zhang, Weiyao Lin, Mingliang Xu, Bin Sheng, Tao Mei:
Tree-based Visualization and Optimization for Image Collection.

Nima S. Anzabi-Nezhad, Ghosheh Abed Hodtani, Mohammad Molavi Kakhki:
A New and More General Capacity Theorem for the Gaussian Channel with Two-sided Input-Noise Dependent State Information.

Sukhamoy Pattanayak, Abhay Kumar Singh:
A class of cyclic Codes Over the Ring $\Z_4[u]/<u^2>$ and its Gray image.

(Withdrawn) Nutrition Labels for Financial Products: A Novel Recommender System for Informing Consumers.
Alexandros Manolakos, Mainak Chowdhury, Andrea J. Goldsmith:
Energy-based Modulation for Noncoherent Massive SIMO Systems.
S. N. Bharadwaj, S. N. Jagadeesha, S. Ravindra:
Target localization in wireless sensor networks based on received signal strength.
Ismael Rodríguez-Fdez, Manuel Mucientes, Alberto Bugarín:
FRULER: Fuzzy Rule Learning through Evolution for Regression.
Subodh Paudel, Phuong H. Nguyen, Wil L. Kling, Mohamed Elmitri, Bruno Lacarrière, Olivier Le Corre:
Support Vector Machine in Prediction of Building Energy Demand Using Pseudo Dynamic Approach.
Luis Gómez, Luis Álvarez, Luis Mazorra, Alejandro C. Frery:
Classification of Complex Wishart Matrices with a Diffusion-Reaction System guided by Stochastic Distances.
Ahmed Younes, Jonathan E. Rowe:
A Polynomial Time Bounded-error Quantum Algorithm for Boolean Satisfiability.

Xinghao Pan, Dimitris S. Papailiopoulos, Samet Oymak, Benjamin Recht, Kannan Ramchandran, Michael I. Jordan:
Parallel Correlation Clustering on Big Graphs.
Ritwik Giri, Bhaskar D. Rao:
Type I and Type II Bayesian Methods for Sparse Signal Recovery using Scale Mixtures.
Lali Barrière, Francesc Comellas, Cristina Dalfó, Miguel Angel Fiol:
Deterministic hierarchical networks.
Mouhacine Benosman, Meng Xia:
Extremum Seeking-based Indirect Adaptive Control for Nonlinear Systems with State and Time-Dependent Uncertainties.
(Withdrawn) Human Gender Classification: A Review.
Sandra Catalán, Francisco D. Igual, Rafael Mayo, Luis Piñuel, Enrique S. Quintana-Ortí, Rafael Rodríguez-Sánchez:
Performance and Energy Optimization of Matrix Multiplication on Asymmetric big.LITTLE Processors.
Nikos Arechiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, Bruce H. Krogh:
Forward Invariant Cuts to Simplify Proofs of Safety.
Alexander Port, Iulia Gheorghita, Daniel Guth, John M. Clark, Crystal Liang, Shival Dasu, Matilde Marcolli:
Persistent Topology of Syntax.
Prasad Raghavendra, Tselil Schramm:
Tight Lower Bounds for Planted Clique in the Degree-4 SOS Program.

Reza Abdolee, Benoît Champagne:
Centralized Adaptation for Parameter Estimation over Wireless Sensor Networks.
Amandianeze O. Nwana, Tsuhan Chen:
Towards Understanding User Preferences from User Tagging Behavior.

Alexander Spiegelman, Yuval Cassuto, Gregory V. Chockler, Idit Keidar:
Space Bounds for Reliable Storage: Fundamental Limits of Coding.
Jasmin Fantel, Yan Gao:
Joint Data Scheduling and FEC Coding for Multihomed Wireless Video Delivery.



Fan Du, Joshua Brulé, Peter Enns, Varun Manjunatha, Yoav Segev:
MetroViz: Visual Analysis of Public Transportation Data.
Kiran Garimella, Gianmarco De Francisci Morales, Aristides Gionis, Michael Mathioudakis:
Quantifying Controversy in Social Media.
Reza Abdolee, Benoît Champagne, Ali H. Sayed:
Diffusion Adaptation over Multi-Agent Networks with Wireless Link Impairments.
Samuel B. Hopkins, Pravesh K. Kothari, Aaron Potechin:
SoS and Planted Clique: Tight Analysis of MPW Moments at all Degrees and an Optimal Lower Bound at Degree Four.
Reza Abdolee, Benoît Champagne, Ali H. Sayed:
Estimation of Space-Time Varying Parameters Using a Diffusion LMS Algorithm.
Abhishek Sinha, Georgios S. Paschos, Chih-Ping Li, Eytan Modiano:
Throughput-Optimal Multihop Broadcast on Directed Acyclic Wireless Networks.
Subhashri Acharya, Pramita Srimany, Sanchari Kundu, JayatiGhosh Dastidar:
Data Hiding in Video using Triangularization LSB Technique.
Jonathan Fidelis Paul, Dibyabiva Seth, Cijo Paul, Jayati Ghosh Dastidar:
Hand Gesture Recognition Library.
Jayati Ghosh Dastidar, Surabhi Sarkar, Rick Punyadyuti Sinha, Kasturi Basu:
Handwriting Recognition.
Gautam S. Thakur, Budhendra L. Bhaduri, Jesse O. Piburn, Kelly M. Sims, Robert N. Stewart, Marie L. Urban:
PlanetSense: A Real-time Streaming and Spatio-temporal Analytics Platform for Gathering Geo-spatial Intelligence from Open Source Data.
Loet Leydesdorff, Alexander M. Petersen, Inga A. Ivanova:
The Self-Organization of Meaning and the Reflexive Communication of Information.
Domenico Ciuonzo, Antonio De Maio, Danilo Orlando:
A Unifying Framework for Adaptive Radar Detection in Homogeneous plus Structured Interference-Part I: On the Maximal Invariant Statistic.
Domenico Ciuonzo, Antonio De Maio, Danilo Orlando:
A Unifying Framework for Adaptive Radar Detection in Homogeneous plus Structured Interference-Part II: Detectors Design.
Laura Koponen, Emilia Oikarinen, Tomi Janhunen, Laura Säilä:
Optimizing Phylogenetic Supertrees Using Answer Set Programming.
Abdelrahman Abbas Ibrahim, Nael Salman:
Multi-Lingual Ontology Server (MOS) for discovering Web services.
Shanjida Khatun, Hasib Ul Alam, Swakkhar Shatabda:
An Efficient Genetic Algorithm for Discovering Diverse-Frequent Patterns.



Kingshuk Chatterjee, Kumar Sankar Ray:
Deterministic parallel communicating Watson-Crick automata systems.


Morgan Barbier, Hayat Cheballah, Jean-Marie Le Bars:
Properties and constructions of coincident functions.
Zhaowei Cai, Mohammad J. Saberian, Nuno Vasconcelos:
Learning Complexity-Aware Cascades for Deep Pedestrian Detection.
Alexandros-Apostolos A. Boulogeorgos, Vasilios M. Kapinas, George K. Karagiannidis, Robert Schober:
I/Q-Imbalance Self-Interference Coordination.
Xudong Zhu, Linglong Dai, Wei Dai, Zhaocheng Wang, Marc Moonen:
Tracking A Dynamic Sparse Channel Via Differential Orthogonal Matching Pursuit.
Xudong Zhu, Linglong Dai, Guan Gui, Wei Dai, Zhaocheng Wang, Fumiyuki Adachi:
Structured Matching Pursuit for Reconstruction of Dynamic Sparse Channels.
Anastasios Kyrillidis, Luca Baldassarre, Marwa El Halabi, Quoc Tran-Dinh, Volkan Cevher:
Structured Sparsity: Discrete and Convex approaches.
Volkan Cevher, Sina Jafarpour, Anastasios Kyrillidis:
Linear Inverse Problems with Norm and Sparsity Constraints.


Johannes Klaus Fichte, Miroslaw Truszczynski, Stefan Woltran:
Dual-normal Logic Programs - the Forgotten Class.
Ioannis Krikidis:
Opportunistic Beamforming with Wireless Powered 1-bit Feedback Through Rectenna Array.
Srajan Paliwal, Saurabh Tiwary, Bhaskar Chaudhury, Manish K. Gupta:
Generating Binary Optimal Codes Using Heterogeneous Parallel Computing.
Juan M. Banda, Tobias Kuhn, Nigam H. Shah, Michel Dumontier:
Provenance-Centered Dataset of Drug-Drug Interactions.
Zhen Gao, Linglong Dai, Zhaohua Lu, Chau Yuen, Zhaocheng Wang:
Super-Resolution Sparse MIMO-OFDM Channel Estimation Based on Spatial and Temporal Correlations.
Duncan Barrack, James Goulding, Keith Hopcraft, Simon Preston, Gavin Smith:
AMP: a new time-frequency feature extraction method for intermittent time-series data.

Long Thai, Blesson Varghese, Adam Barker:
Budget Constrained Execution of Multiple Bag-of-Tasks Applications on the Cloud.
Kiran Mantripragada, Leonardo P. Tizzei, Alécio Pedro Delazari Binotto, Marco A. S. Netto:
An SLA-based Advisor for Placement of HPC Jobs on Hybrid Clouds.
Spyridon C. Evangelatos, Aris L. Moustakas, Andreas Polydoros:
Outage and Capacity Comparisons For Ground Relaying Systems Using Stochastic Geometry.
Andrea Romanoni, Matteo Matteucci:
Efficient moving point handling for incremental 3D manifold reconstruction.
Mingming Chen, Sisi Liu, Boleslaw K. Szymanski:
Parallel Toolkit for Measuring the Quality of Network Community Structure.


Pramod Kumar Kewat, Priti Kumari:
Cyclic codes from the second class two-prime Whiteman's generalized cyclotomic sequence with order 6.
Adrián Sauco-Gallardo, Unai Fernández-Plazaola, Luís Díez del Río, Eduardo Martos-Naya:
Higher Order Statistics in Switched Diversity Systems.
Jeevana Priya Inala, Xiaokang Qiu, Ben Lerner, Armando Solar-Lezama:
Type Assisted Synthesis of Recursive Transformers on Algebraic Data Types.
Majid Gerami, Ming Xiao, Somayeh Salimi, Mikael Skoglund:
Secure Partial Repair in Wireless Caching Networks with Broadcast Channels.
Tom J. Ameloot, Jan Van den Bussche, William R. Marczak, Peter Alvaro, Joseph M. Hellerstein:
Putting Logic-Based Distributed Systems on Stable Grounds.

Jaderick P. Pabico, Anne Muriel V. Gonzales, Mariann Jocel S. Villanueva, Arlene A. Mendoza:
Automatic Identification of Animal Breeds and Species Using Bioacoustics and Artificial Neural Networks.
Rami Hamdi, Wessam Ajib:
Joint Optimal Number of RF chains and Power Allocation for Downlink Massive MIMO Systems.
Anant Raj, Vinay P. Namboodiri, Tinne Tuytelaars:
Subspace Alignment Based Domain Adaptation for RCNN Detector.
Constantin Enea, Mihaela Sighireanu, Zhilin Wu:
On Automated Lemma Generation for Separation Logic with Inductive Definitions.
Yeounoh Chung, Michael Lind Mortensen, Carsten Binnig, Tim Kraska:
Estimating the Impact of Unknown Unknowns on Aggregate Query Results.
Jeffrey N. Chadwick, David S. Bindel:
An Efficient Solver for Sparse Linear Systems Based on Rank-Structured Cholesky Factorization.
Noé Hernández, Kerstin Eder, Evgeni Magid, Jesus Savage, David A. Rosenblueth:
Marimba: A Tool for Verifying Properties of Hidden Markov Models.
Shaon Sahoo:
I-index: An objective measure for a researcher's share in the collective impact of his/her published papers.
William Perry, Alexander S. Wein:
A semidefinite program for unbalanced multisection in the stochastic block model.


Muasaad Alrasheedi, Luiz Fernando Capretz, Arif Raza:
Instructor Perspectives of Mobile Learning Platform: An Empirical Study.
Saiqa Aleem, Luiz Fernando Capretz, Faheem Ahmed:
Business Process Mining Approaches: A Relative Comparison.
Kobi Cohen, Angelia Nedic, R. Srikant:
Distributed Learning Algorithms for Spectrum Sharing in Spatial Random Access Wireless Networks.
Yuke Zhu, Ce Zhang, Christopher Ré, Li Fei-Fei:
Building a Large-scale Multimodal Knowledge Base for Visual Question Answering.
Gage Hills, Jie Zhang, Max Marcel Shulaker, Hai Wei, Chi-Shuen Lee, Arjun Balasingam, H.-S. Philip Wong, Subhasish Mitra:
Rapid Co-optimization of Processing and Circuit Design to Overcome Carbon Nanotube Variations.
Javier Schloemann, Harpreet S. Dhillon, R. Michael Buehrer:
A Tractable Analysis of the Improvement in Unique Localizability Through Collaboration.
Runchun Wang, Chetan Singh Thakur, Tara Julia Hamilton, Jonathan Tapson, André van Schaik:
A neuromorphic hardware architecture using the Neural Engineering Framework for pattern recognition.
Giovanni Geraci, Matthias Wildemeersch, Tony Q. S. Quek:
Energy Efficiency of Distributed Signal Processing in Wireless Networks: A Cross-Layer Analysis.
Peiyun Hu, Deva Ramanan:
Bottom-up and top-down reasoning with convolutional latent-variable models.
Baoguang Shi, Xiang Bai, Cong Yao:
An End-to-End Trainable Neural Network for Image-based Sequence Recognition and Its Application to Scene Text Recognition.
Chen Chen, Daniele Enrico Asoni, David Barrera, George Danezis, Adrian Perrig:
HORNET: High-speed Onion Routing at the Network Layer.
Aaron Wetzler, Ron Slossberg, Ron Kimmel:
Rule Of Thumb: Deep derotation for improved fingertip detection.
Congduan Li, Steven Weber, John MacLaren Walsh:
On Multi-source Networks: Enumeration, Rate Region Computation, and Hierarchy.
Shudi Yang, Zheng-An Yao, Chang-An Zhao:
Complete Weight Enumerator of a Family of Linear Codes from Cyclotomy.
Xi Li, Chunhua Shen, Anthony R. Dick, Zhongfei (Mark) Zhang, Yueting Zhuang:
Online Metric-Weighted Linear Representations for Robust Visual Tracking.
Serena Yeung, Olga Russakovsky, Ning Jin, Mykhaylo Andriluka, Greg Mori, Fei-Fei Li:
Every Moment Counts: Dense Detailed Labeling of Actions in Complex Videos.
Emrah Budur, Seungmin Lee, Vein S. Kong:
Structural Analysis of Criminal Network and Predicting Hidden Links using Machine Learning.
Christine Fricker, Fabrice Guillemin, Philippe Robert, Guilherme Thompson:
Analysis of an offloading scheme for data centers in the framework of fog computing.
Haiying Liu, Keqin Feng, Rongquan Feng:
Nonexistence of Generalized Bent Functions From $Z_{2}^{n}$ to $Z_{m}$.
Deepak Ponvel Chermakani:
Optimal Aggregation of Blocks into Subproblems in Linear-Programs with Block-Diagonal-Structure.
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Horn Clauses as an Intermediate Representation for Program Analysis and Transformation.
Hong Sun, Vincenzo De Florio, Ning Gui, Chris Blondia:
Promises and Challenges of Ambient Assisted Living Systems.
Michele Boreale, Francesca Pampaloni:
Quantitative information flow under generic leakage functions and adaptive adversaries.
Shuchang Zhou, Jia-Nan Wu:
Compression of Fully-Connected Layer in Neural Network by Kronecker Product.
Shibashis Guha, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi:
Revisiting Robustness in Priced Timed Games.
Jaderick P. Pabico:
A System for Sensing Human Sentiments to Augment a Model for Predicting Rare Lake Events.
Simon W. Funke, Stephan C. Kramer, Matthew D. Piggott:
Design optimisation and resource assessment for tidal-stream renewable energy farms using a new continuous turbine approach.

Malisa Vucinic, Bernard Tourancheau, Thomas Watteyne, Franck Rousseau, Andrzej Duda, Roberto Guizzetti, Laurent Damon:
DTLS Performance in Duty-Cycled Networks.
Joss Wright, Alexander Darer, Oliver Farnan:
Detecting Internet Filtering from Geographic Time Series.
Arne Recknagel, Tarek Richard Besold:
Efficient Dodgson-Score Calculation Using Heuristics and Parallel Computing.
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses.
Elif Vural, Christine Guillemot:
A study of the classification of low-dimensional data with supervised manifold learning.
Aditya Gahlawat, Matthew M. Peet:
A Convex Approach to Analysis, State and Output Feedback Control Parabolic PDEs Using Sum-of-Squares.
Bart M. P. Jansen:
On Structural Parameterizations of Hitting Set: Hitting Paths in Graphs Using 2-SAT.
Song-Ju Kim, Tohru Tsuruoka, Tsuyoshi Hasegawa, Masakazu Aono:
Decision Maker based on Atomic Switches.
Saurabh Joshi, Ruben Martins, Vasco M. Manquinho:
Generalized Totalizer Encoding for Pseudo-Boolean Constraints.
Marko Angjelichinoski, Cedomir Stefanovic, Petar Popovski, Hongpeng Liu, Poh Chiang Loh, Frede Blaabjerg:
Multiuser Communication through Power Talk in DC MicroGrids.
Roger Donaldson, Arijit Gupta, Yaniv Plan, Thomas Reimer:
Random mappings designed for commercial search engines.
Se Rim Park, Soheil Kolouri, Shinjini Kundu, Gustavo K. Rohde:
The Cumulative Distribution Transform and Linear Pattern Classification.
Jeffrey G. Andrews, Alexandros G. Dimakis, Lara Dolecek, Michelle Effros, Muriel Médard, Olgica Milenkovic, Andrea Montanari, Sriram Vishwanath, Edmund M. Yeh, Randall Berry, Ken R. Duffy, Soheil Feizi, Saul Kato, Manolis Kellis, Stuart Licht, Jon Sorenson, Lav R. Varshney, Haris Vikalo:
A Perspective on Future Research Directions in Information Theory.
Casper Kejlberg-Rasmussen, Tsvi Kopelowitz, Seth Pettie, Mikkel Thorup:
Deterministic Worst Case Dynamic Connectivity: Simpler and Faster.
Carlo Pinciroli, Adam Lee-Brown, Giovanni Beltrame:
Buzz: An Extensible Programming Language for Self-Organizing Heterogeneous Robot Swarms.
Jayadev Acharya, Constantinos Daskalakis, Gautam Kamath:
Optimal Testing for Properties of Distributions.

Glencora Borradaile, Amir Nayyeri, Farzad Zafarani:
Towards single face shortest vertex-disjoint paths in undirected planar graphs.
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo:
Practical Run-time Checking via Unobtrusive Property Caching.
Victor R. Martinez, Antonio Mancilla, Víctor M. González:
Tweeting Over The Border: An Empirical Study of Transnational Migration in San Diego and Tijuana.
Sreram Balasubramaniyan, Seshadhri Srinivasan, B. Subathra, Srini Ramaswamy:
Design Contracts For Networked Automation Systems Co-design.
Xiang Gao, Ove Edfors, Fredrik Tufvesson, Erik G. Larsson:
Massive MIMO in Real Propagation Environments: Do All Antennas Contribute Equally?
Peter Lofgren, Siddhartha Banerjee, Ashish Goel:
Personalized PageRank Estimation and Search: A Bidirectional Approach.
Pourya Shamsi:
On-line Survival Analysis of Power Electronic Converters Using Step Noise-Cox Processes.
Patricia Johann, Ekaterina Komendantskaya, Vladimir Komendantskiy:
Structural Resolution for Logic Programming.
Rimah Amami, Dorra Ben Ayed, Noureddine Ellouze:
Practical Selection of SVM Supervised Parameters with Different Feature Representations for Vowel Recognition.
Rimah Amami, Dorra Ben Ayed, Noureddine Ellouze:
An Empirical Comparison of SVM and Some Supervised Learning Algorithms for Vowel recognition.
Rimah Amami, Ghaith Manita, Abir Smiti:
Robust speech recognition using consensus function based on multi-layer networks.
Rimah Amami, Dorra Ben Ayed, Noureddine Ellouze:
Incorporating Belief Function in SVM for Phoneme Recognition.
Rimah Amami, Dorra Ben Ayed, Noureddine Ellouze:
The challenges of SVM optimization using Adaboost on a phoneme recognition problem.
Katrina Joy H. Magno, Jaderick P. Pabico:
Towards Input Device Satisfaction Through Hand Anthropometry.
Gregory Hasseler:
Adapting Stochastic Search For Real-time Dynamic Weighted Constraint Satisfaction.
Subir Kumar Ghosh, Sudebkumar Prasant Pal:
A National Effort for Motivating Indian Students and Teachers towards Algorithmic Research.
Hao Tang, Weiran Wang, Kevin Gimpel, Karen Livescu:
Discriminative Segmental Cascades for Feature-Rich Phone Recognition.
Chiranjib Patra:
On the Conservation of Number of Nodes and the Consumed Energy in Wireless Sensor Network: A Statistical Mechanics Approach.
Marco Manna, Francesco Ricca, Giorgio Terracina:
Taming Primary Key Violations to Query Large Inconsistent Data.
Marc Bolaños, Mariella Dimiccoli, Petia Radeva:
Towards Storytelling from Visual Lifelogging: An Overview.
Chunming Tang, Yanfeng Qi:
Two-weight and three-weight linear codes from weakly regular bent functions.

Amit Adam, Christoph Dann, Omer Yair, Shai Mazor, Sebastian Nowozin:
Bayesian Time-of-Flight for Realtime Shape, Illumination and Albedo.
Joshua Brakensiek, Venkatesan Guruswami, Samuel Zbarsky:
Efficient Low-Redundancy Codes for Correcting Multiple Deletions.
Ju Ren, Yaoxue Zhang, Ning Zhang, Deyu Zhang, Xuemin Shen:
Dynamic Channel Access for Energy Efficient Data Gathering in Cognitive Radio Sensor Networks.

Alex Oliveras Martinez, Elisabeth de Carvalho, Jesper Ødum Nielsen:
Towards Very Large Aperture Massive MIMO: a measurement based study.
Sofya Chepushtanova, Tegan Emerson, Eric M. Hanson, Michael Kirby, Francis C. Motta, Rachel Neville, Chris Peterson, Patrick D. Shipman, Lori Ziegelmeier:
Persistence Images: An Alternative Persistent Homology Representation.
Xavier Lagorce, Ryad Benosman:
STICK: Spike Time Interval Computational Kernel, A Framework for General Purpose Computation using Neurons, Precise Timing, Delays, and Synchrony.
Richard Zanibbi, Kenny Davila, Andrew Kane, Frank Wm. Tompa:
The Tangent Search Engine: Improved Similarity Metrics and Scalability for Math Formula Search.
Nikos Deligiannis, João F. C. Mota, George Smart, Yiannis Andreopoulos:
Fast Desynchronization For Decentralized Multichannel Medium Access Control.
Pawel Gawrychowski, Adrian Kosowski, Przemyslaw Uznanski:
Even Simpler Distance Labeling for (Sparse) Graphs.
Yinan Li, Jun Liu, Necmiye Ozay:
Computing finite abstractions with robustness margins via local reachable set over-approximation.
Ivan Jureta:
Requirements Problem and Solution Concepts for Adaptive Systems Engineering, and their Relationship to Mathematical Optimisation, Decision Analysis, and Expected Utility Theory.
Mariella Dimiccoli, Jean-Pascal Jacob, Lionel Moisan:
Particle detection and tracking by a-contrario approach: application to fluorescence time-lapse imaging.
Reza Farrahi Moghaddam, Yves Lemieux, Mohamed Cheriet:
The Service-Bond Paradigm - Potentials for a Sustainable, ICT-enabled Future.
Kevin J. Shih, Arun Mallya, Saurabh Singh, Derek Hoiem:
Part Localization using Multi-Proposal Consensus for Fine-Grained Categorization.
N. R. Aravind, R. B. Sandeep, Naveen Sivadasan:
Parameterized lower bound and NP-completeness of some H-free Edge Deletion problems.
Hidir Yuzuguzel, Jari Niemi, Serkan Kiranyaz, Moncef Gabbouj, Thomas Heinz:
ShakeMe: Key Generation From Shared Motion.



Abigail C. Salvania, Jaderick P. Pabico:
Information Spread Over an Internet-mediated Social Network: Phases, Speed, Width, and Effects of Promotion.
Nikolaos I. Miridakis, Theodoros A. Tsiftsis, George C. Alexandropoulos, Mérouane Debbah:
Green Cognitive Relaying: Opportunistically Switching Between Data Transmission and Energy Harvesting.
Seyed Hamid Rezatofighi, Stephen Gould, Ba-Tuong Vo, Ba-Ngu Vo, Katarina Mele, Richard I. Hartley:
Multi-Target Tracking with Time-Varying Clutter Rate and Detection Profile: Application to Time-lapse Cell Microscopy Sequences.

Roberto Bruni, Ugo Montanari, Matteo Sammartino:
A coalgebraic semantics for causality in Petri nets.
Nicolas Bousquet, Yang Cai, Christoph Hunkenschröder, Adrian Vetta:
On the Economic Efficiency of the Combinatorial Clock Auction.

Jue Wang, Jemin Lee, Fanggang Wang, Tony Q. S. Quek:
Jamming-Aided Secure Communication in Massive MIMO Rician Channels.

Osuolale Abdulrahamon Tiamiyu:
Algorithmization, requirements analysis and architectural challenges of TraConDa.
Andreas Brandstädt, Raffaele Mosca:
Dominating Induced Matchings for P8-free Graphs in Polynomial Time.
João Carreira, Pulkit Agrawal, Katerina Fragkiadaki, Jitendra Malik:
Human Pose Estimation with Iterative Error Feedback.
Bart Bogaerts, Guy Van den Broeck:
Knowledge Compilation of Logic Programs Using Approximation Fixpoint Theory.
Matteo Varvello, Kyle Schomp, David Naylor, Jeremy Blackburn, Alessandro Finamore, Konstantina Papagiannaki:
To HTTP/2, or Not To HTTP/2, That Is The Question.
Ehsan Fattahi, Christian Waluga, Barbara I. Wohlmuth, Ulrich Rüde:
Large scale lattice Boltzmann simulation for the coupling of free and porous media flow.
Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub:
Abstract Gringo.
Ashwinkumar Ganesan, Kianté Brantley, Shimei Pan, Jian Chen:
LDAExplore: Visualizing Topic Models Generated Using Latent Dirichlet Allocation.
Jack Kelly, William J. Knottenbelt:
Neural NILM: Deep Neural Networks Applied to Energy Disaggregation.
Misha Chertkov, Michael W. Fisher, Scott Backhaus, Russell Bent, Sidhant Misra:
Pressure Fluctuations in Natural Gas Networks caused by Gas-Electric Coupling.
Amine Bohi, Dario Prandi, Vincente Guis, Frédéric Bouchara, Jean-Paul Gauthier:
An application of a semidiscrete version of the Petitot model of the human primary visual cortex to invariant object recognition in SVM context.
Fenno F. Terry Heath III, Richard Hull, Elham Khabiri, Matthew Riemer, Noi Sukaviriya, Roman Vaculín:
Alexandria: Extensible Framework for Rapid Exploration of Social Media.
Wael M. Bazzi, Amir Rastegarnia, Azam Khalili:
A Reliability of Measurement Based Algorithm for Adaptive Estimation in Sensor Networks.

Pin-Yu Chen, Chia-Wei Lien, Fu-Jen Chu, Pai-Shun Ting, Shin-Ming Cheng:
Supervised Collective Classification for Crowdsourcing.
Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca, Johannes Peter Wallner, Stefan Woltran:
Improved Answer-Set Programming Encodings for Abstract Argumentation.
Yasmen Wahba, Ehab ElSalamouny, Ghada ElTaweel:
Improving the Performance of Multi-class Intrusion Detection Systems using Feature Reduction.
Jesun Sahariar Firoz, Thejaka Amila Kanewala, Marcin Zalewski, Martina Barnas, Andrew Lumsdaine:
The Anatomy of Large-Scale Distributed Graph Algorithms.
Luca Becchetti, Andrea E. F. Clementi, Emanuele Natale, Francesco Pasquale:
Probabilistic Self-Stabilization.
Shitao Weng, Shushan Chen, Lei Yu, Xuewei Wu, Weicheng Cai, Zhi Liu, Ming Li:
The SYSU System for the Interspeech 2015 Automatic Speaker Verification Spoofing and Countermeasures Challenge.
Hyo Seung Kang, Myung Gil Kang, Wan Choi, Aria Nosratinia:
The Degrees of Freedom of the Interference Channel with a Cognitive Relay under Delayed Feedback.
Tianyu Wang, Yue Sun, Lingyang Song, Zhu Han:
Social Data Offloading in D2D-Enhanced Cellular Networks by Network Formation Games.

Ilona Kuzmickaja, Xiaofeng Wang, Daniel Graziotin, Gabriella Dodero, Pekka Abrahamsson:
In Need of Creative Mobile Service Ideas? Forget Adults and Ask Young Children.
Ingmar Dasseville, Matthias van der Hallen, Gerda Janssens, Marc Denecker:
Semantics of templates in a compositional framework for building logics.
E. Romero, F. Mazzanti, J. Delgado:
A Neighbourhood-Based Stopping Criterion for Contrastive Divergence Learning.
Nikos Chondros, Bingsheng Zhang, Thomas Zacharias, Panos Diamantopoulos, Stathis Maneas, Christos Patsonakis, Alex Delis, Aggelos Kiayias, Mema Roussopoulos:
A distributed, end-to-end verifiable, internet voting system.
Marcello Farina, Ruggero Carli:
Partition-based Distributed Kalman Filter with plug and play features.
Andreas Eitel, Jost Tobias Springenberg, Luciano Spinello, Martin A. Riedmiller, Wolfram Burgard:
Multimodal Deep Learning for Robust RGB-D Object Recognition.
Haris Aziz, Jiashu Chen, Aris Filos-Ratsikas, Simon Mackenzie, Nicholas Mattei:
Egalitarianism of Random Assignment Mechanisms.
Isha Gupta, Alexantrou Serb, Ali Khiat, Ralf Zeitler, Stefano Vassanelli, Themistoklis Prodromakis:
Memristive integrative sensors for neuronal activity.
Maximilian Matthé, Ivan Gaspar, Luciano Leonel Mendes, Dan Zhang:
Comparison between GFDM and VOFDM.

Modesto Castrillón Santana, Javier Lorenzo-Navarro, Enrique Ramón-Balmaseda:
Descripors and regions of interest fusion for gender classification in the wild.
Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman:
Adding Partial Functions to Constraint Logic Programming with Sets.
Prosenjit Bose, Paz Carmi, Mirela Damian, Jean-Lou De Carufel, Darryl Hill, Anil Maheshwari, Yuyang Liu, Michiel H. M. Smid:
On the Stretch Factor of Convex Polyhedra whose Vertices are (Almost) on a Sphere.
Gerd Gidion, Luiz Fernando Capretz, Ken N. Meadows, Michael Grosch:
Media Usage in Post-Secondary Education and Implications for Teaching and Learning.
Pascal Potvin, Mahdy Nabaee, Fabrice Labeau, Kim Khoa Nguyen, Mohamed Cheriet:
Micro Service Cloud Computing Pattern for Next Generation Networks.
Yunus Can Bilge, Dogukan Çagatay, Begüm Genç, Mecit Sari, Hüseyin Akcan, Cem Evrendilek:
All Colors Shortest Path Problem.
Faheem Ahmed, Luiz Fernando Capretz, Salah Bouktif, Piers R. J. Campbell:
Soft Skills and Software Development: A Reflection from the Software Industry.
Stéphane Doncieux, Jean Liénard, Benoît Girard, Mohamed Hamdaoui, Joël Chaskalovic:
Multi-objective analysis of computational models.
Shweta Sagari, Samuel Baysting, Dola Saha, Ivan Seskar, Wade Trappe, Dipankar Raychaudhuri:
Coordinated Dynamic Spectrum Management of LTE-U and Wi-Fi Networks.
Arif Raza, Luiz Fernando Capretz:
Contributors Preference in Open Source Software Usability: An Empirical Study.
Arif Raza, Zaka Ul-Mustafa, Luiz Fernando Capretz:
Do Personality Profiles Differ in the Pakistani Software Industry and Academia - A Case Study.
Arif Raza, Zaka Ul-Mustafa, Luiz Fernando Capretz:
Personality Dimensions and Temperaments of Engineering Professors and Students - A Survey.
Faheem Ahmed, Luiz Fernando Capretz:
A Business Maturity Model of Software Product Line Engineering.
Markus P. Mueller, Michele Pastena:
A generalization of majorization that characterizes Shannon entropy.
Faheem Ahmed, Luiz Fernando Capretz:
An Architecture Process Maturity Model of Software Product Line Engineering.
Jie Xu, Luiz Fernando Capretz, Danny Ho:
Exploratory Analysis of Quality Practices in Open Source Domain.
Felicidad Aguado, Pedro Cabalar, David Pearce, Gilberto Pérez, Concepción Vidal:
A Denotational Semantics for Equilibrium Logic.
Wei Lin Du, Danny Ho, Luiz Fernando Capretz:
Improving Software Effort Estimation Using Neuro-Fuzzy Model with SEER-SEM.
Abhinav Garlapati, Aditi Raghunathan, Vaishnavh Nagarajan, Balaraman Ravindran:
A Reinforcement Learning Approach to Online Learning of Decision Trees.
Jie Xu, Danny Ho, Luiz Fernando Capretz:
An Empirical Study on the Procedure to Derive Software Quality Estimation Models.
Faheem Ahmed, Piers J. C. Campbell, Ahmad D. Jaffar, Luiz Fernando Capretz:
Myths and Realities about Online Forums in Open Source Software Development: An Empirical Study.

Faheem Ahmed, Luiz Fernando Capretz:
A Decision Support Tool for Assessing the Maturity of Software Product Line Process.
Paul Tarau:
A Logic Programming Playground for Lambda Terms, Combinators, Types and Tree-based Arithmetic Computations.
Rajesh Bose, Sandip Roy, Debabrata Sarddar:
Mobile-Based Video Caching Architecture Based on Billboard Manager.
Hasim Sak, Andrew W. Senior, Kanishka Rao, Françoise Beaufays:
Fast and Accurate Recurrent Neural Network Acoustic Models for Speech Recognition.

Faheem Ahmed, Luiz Fernando Capretz:
Framework for Version Control & Dependency Link of Components & Products in a Software Product Line.
Parinya Chalermsook, Mayank Goswami, László Kozma, Kurt Mehlhorn, Thatchaphol Saranurak:
Pattern-avoiding access in binary search trees.
Daniel Gruss, Clémentine Maurice, Stefan Mangard:
Rowhammer.js: A Remote Software-Induced Fault Attack in JavaScript.
Luiz Fernando Capretz:
The Challenges of CASE Design Integration in the Telecommunication Application Domain.

George Christodoulou, Alkmini Sgouritsa, Bo Tang:
On the Efficiency of the Proportional Allocation Mechanism for Divisible Resources.
Masaki Ogura, Victor M. Preciado:
Stability of Spreading Processes over Time-Varying Large-Scale Networks.
Ali Alatabbi, Jacqueline W. Daykin, Mohammad Sohel Rahman, William F. Smyth:
String Comparison in V-Order: New Lexicographic Properties & On-line Applications.
Vijay Kamble, Nihar B. Shah, David Marn, Abhay Parekh, Kannan Ramchandran:
Truth Serums for Massively Crowdsourced Evaluation Tasks.
Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný:
Specification and Compilation of Event-driven SDN Programs.
Constantin Siriteanu, Akimichi Takemura, Christoph Koutschan, Satoshi Kuriki, Donald St. P. Richards, Hyundong Shin:
Exact ZF Analysis and Computer-Algebra-Aided Evaluation in Rank-1 LoS Rician Fading.
Azlan Iqbal, Matej Guid, Simon Colton, Jana Krivec, Shazril Azman, Boshra Haghighi:
The Digital Synaptic Neural Substrate: A New Approach to Computational Creativity.
Michael Ruderman:
Compensation of Nonlinear Torsion in Flexible Joint Robots: Comparison of Two Approaches.
Yandong Wen, Weiyang Liu, Meng Yang, Yuli Fu, Zhifeng Li:
Misalignment-robust Face Recognition via Efficient Locality-constrained Representation.
Keerthana S. Prakash, R. P. Prakash, V. P. Binu:
A Study of Morphological Filtering Using Graph and Hypergraphs.
Vinayak Abrol, Pulkit Sharma, Anil Kumar Sao:
Making sense of randomness: an approach for fast recovery of compressively sensed signals.

Germán Bassi, Pablo Piantanida, Shlomo Shamai (Shitz):
The Wiretap Channel with Generalized Feedback: Secure Communication and Key Generation.
R. P. Prakash, Keerthana S. Prakash, V. P. Binu:
Thinning Algorithm Using Hypergraph Based Morphological Operators.
Michelle Forelle, Philip N. Howard, Andrés Monroy-Hernández, Saiph Savage:
Political Bots and the Manipulation of Public Opinion in Venezuela.
Qingjiang Shi, Meisam Razaviyayn, Mingyi Hong, Zhi-Quan Luo:
SINR Constrained Beamforming for a MIMO Multi-user Downlink System.
Davide Fiore, Stephen John Hogan, Mario di Bernardo:
Contraction analysis of switched Filippov systems via regularization.
Lina Sela Perelman, Waseem Abbas, Xenofon D. Koutsoukos, Saurabh Amin:
Sensor placement for fault location identification in water networks: A minimum test cover approach.
Ying Wang, Ahmed Abdelhadi:
A QoS-based Power Allocation for Cellular Users with Different Modulations.
Dayong Wang, Pengcheng Wu, Peilin Zhao, Steven C. H. Hoi:
A Framework of Sparse Online Learning and Its Applications.

Srdan Brkic, Predrag Ivanis, Bane Vasic:
Majority Logic Decoding under Data-Dependent Logic Gate Failures.
Ahmed Abdelhadi, T. Charles Clancy:
An Optimal Resource Allocation with Frequency Reuse in Cellular Networks.
Hao Zhang, Masashi Sugiyama:
Task Selection for Bandit-Based Task Assignment in Heterogeneous Crowdsourcing.
Jaderick P. Pabico, Jose Rene L. Micor, Elmer Rico E. Mojica:
A Neural Prototype for a Virtual Chemical Spectrophotometer.
Louie Vincent A. Ngoho, Jaderick P. Pabico:
Capturing the Dynamics of Pedestrian Traffic Using a Machine Vision System.

Yitong Yin, Chihao Zhang:
Spatial mixing and approximate counting for Potts model on graphs with bounded average degree.
Lingfei Wu, Andreas Stathopoulos, Jesse Laeuchli, Vassilis Kalantzis, Efstratios Gallopoulos:
Estimating the Trace of the Matrix Inverse by Interpolating from the Diagonal of an Approximate Inverse.

Dimitrios Katselis, Cristian R. Rojas, Carolyn L. Beck:
Estimator Selection: End-Performance Metric Aspects.

Tamir Bendory, Avinoam David Bar-Zion, Dan Adam, Shai Dekel, Arie Feuer:
Stable Support Recovery of Stream of Pulses with Application to Ultrasound Imaging.
Shayan Najd, Sam Lindley, Josef Svenningsson, Philip Wadler:
Everything old is new again: Quoted Domain Specific Languages.
Ahmed Abdelhadi, T. Charles Clancy:
Network MIMO with Partial Cooperation between Radar and Cellular Systems.
Jianya Ding, Keyou You, Shiji Song, Cheng Wu:
Likelihood Ratio Based Scheduler for Secure Detection in Cyber Physical Systems.
Weisi Guo, A. Taufiq Asyhari, Nariman Farsad, Huseyin Birkan Yilmaz, Bin Li, Andrew W. Eckford, Chan-Byoung Chae:
Molecular Communications: Channel Model and Physical Layer Techniques.
Kirill Dyagilev, Suchi Saria:
Learning (Predictive) Risk Scores in the Presence of Censoring due to Interventions.
James J. Q. Yu, Victor O. K. Li:
A Social Spider Algorithm for Solving the Non-convex Economic Load Dispatch Problem.
Tam The Nguyen, Hung Viet Pham, Phong Minh Vu, Tung Thanh Nguyen:
Learning API Usages from Bytecode: A Statistical Approach.
Kenji Kume, Naoko Nose-Togawa:
Spectral structure of singular spectrum decomposition for time series.
Sam Nees, Andreas Schwarz, Walter Kellermann:
A model for the temporal evolution of the spatial coherence in decaying reverberant sound fields.
Jérôme Leroux, Grégoire Sutre, Patrick Totzke:
On Boundedness Problems for Pushdown Vector Addition Systems.

Maxim Borisyak, Andrey Ustyuzhanin:
A genetic algorithm for autonomous navigation in partially observable domain.
Maxim Borisyak, Roman Zykov, Artem Noskov:
Application of Kullback-Leibler divergence for short-term user interest detection.
Bram J. Dil, Fredrik Gustafsson, Bernhard J. Hoenders:
Fundamental Bounds on Radio Localization Precision in the Far Field.
Laura Luzzi, Roope Vehkalahti:
Almost universal codes achieving ergodic MIMO capacity within a constant gap.
Chien-Chung Huang, Sebastian Ott:
A Combinatorial Approximation Algorithm for Graph Balancing with Light Hyper Edges.
Antares Chen, David G. Harris, Aravind Srinivasan:
Partial Resampling to Approximate Covering Integer Programs.
Miguel Rodríguez-Pérez, Sergio Herrería-Alonso, Manuel Fernández-Veiga, Cándido López-García:
Improved Opportunistic Sleeping Algorithms for LAN Switches.
Miguel Rodríguez-Pérez, Sergio Herrería-Alonso, Manuel Fernández-Veiga, Andrés Suárez-González, Cándido López-García:
Achieving Fair Network Equilibria with Delay-based Congestion Control Algorithms.
Javier Schloemann, Harpreet S. Dhillon, R. Michael Buehrer:
A Tractable Metric for Evaluating Base Station Geometries in Cellular Network Localization.
David Abdurachmanov, Alessandro Degano, Peter Elmer, Giulio Eulisse, David Mendez, Shahzad Muzaffar:
Optimizing CMS build infrastructure via Apache Mesos.
Lothar Bauerdick, Brian Bockelman, Peter Elmer, Stephen Gowdy, Matevz Tadel, Frank Würthwein:
Designing Computing System Architecture and Models for the HL-LHC era.
Xun Xu, Timothy M. Hospedales, Shaogang Gong:
Discovery of Shared Semantic Spaces for Multi-Scene Video Query and Summarization.
Florentin Smarandache:
Unification of Fusion Theories, Rules, Filters, Image Fusion and Target Tracking Methods (UFT).
Daniel Ricardo dos Santos, Silvio Ranise, Serena Elisa Ponta:
Modularity for Security-Sensitive Workflows.
Bin Han, Qingtang Jiang, Zuowei Shen, Xiaosheng Zhuang:
Symmetric Canonical Quincunx Tight Framelets with High Vanishing Moments and Smoothness.
Shun Miao, Z. Jane Wang, Rui Liao:
A Convolutional Neural Network Approach for 2D/3D Medical Image Registration.
Peng Sun, Haoyin Zhou, Devon Lundine, James K. Min, Guanglei Xiong:
Fast Segmentation of Left Ventricle in CT Images by Explicit Shape Regression using Random Pixel Difference Features.
Ehsan Seifi, Mehran Atamanesh, Amir K. Khandani:
Media-Based MIMO: A New Frontier in Wireless Communications.
Colin W. Glass, Steffen Reiser, Gábor Rutkai, Stephan Deublein, Andreas Köster, Gabriela Guevara-Carrion, Amer Wafai, Martin Horsch, Martin F. Bernreuther, Thorsten Windmann, Hans Hasse, Jadran Vrabec:
ms2: A molecular simulation tool for thermodynamic properties, new version release.
Shant Boodaghians, Adrian Vetta:
Testing Consumer Rationality using Perfect Graphs and Oriented Discs.
David L. Richmond, Dagmar Kainmueller, Michael Ying Yang, Eugene W. Myers, Carsten Rother:
Relating Cascaded Random Forests to Deep Convolutional Neural Networks for Semantic Segmentation.
Iliano Cervesato, Kaustuv Chaudhuri:
Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, LFMTP 2015, Berlin, Germany, 1 August 2015. EPTCS 185, 2015 [contents]
Joseph A. Starek, Javier V. Gómez, Edward Schmerling, Lucas Janson, Luis Moreno, Marco Pavone:
An Asymptotically-Optimal Sampling-Based Algorithm for Bi-directional Motion Planning.
Gili Rosenberg, Mohammad Vazifeh, Brad Woods, Eldad Haber:
Building an iterative heuristic solver for a quantum annealer.
Zaid Kbah, Ahmed Abdelhadi:
Resource Allocation in Cellular Systems for Applications with Random Parameters.
Takuya Takagi, Shunsuke Inenaga, Hiroki Arimura:
Fully-online construction of suffix trees and DAWGs for multiple texts.
Garrick Orchard, Ajinkya Jayawant, Gregory Cohen, Nitish V. Thakor:
Converting Static Image Datasets to Spiking Neuromorphic Datasets Using Saccades.
Luciano Gallegos, Kristina Lerman, Arthur Huang, David García:
Geography of Emotion: Where in a City are People Happier?
Sridhar Mahadevan, Sarath Chandar:
Reasoning about Linguistic Regularities in Word Embeddings using Matrix Manifolds.
Angjoo Kanazawa, Shahar Z. Kovalsky, Ronen Basri, David W. Jacobs:
Learning 3D Articulation and Deformation using 2D Images.
Chandrashekhar Pomu Chavan, Pallapa Venkataram:
Designing a Routing Protocol for Ubiquitous Networks Using ECA Scheme.
Branislav Bosanský, Simina Brânzei, Kristoffer Arnsfelt Hansen, Peter Bro Miltersen, Troels Bjerre Sørensen:
Computation of Stackelberg Equilibria of Finite Sequential Games.
Stefano V. Albrecht, Jacob W. Crandall, Subramanian Ramamoorthy:
Belief and Truth in Hypothesised Behaviours.
Syed Hassan Raza Naqvi, Umberto Spagnolini:
Interference-Cooperation in Multi-User/Multi-Operator Receivers.
Mingbo Dai, Bruno Clerckx, David Gesbert, Giuseppe Caire:
A Hierarchical Rate Splitting Strategy for FDD Massive MIMO under Imperfect CSIT.
Matús Mihalák, Przemyslaw Uznanski, Pencho Yordanov:
Prime Factorization of the Kirchhoff Polynomial: Compact Enumeration of Arborescences.


Konrad Simon, Sameer Sheorey, David W. Jacobs, Ronen Basri:
A Hyperelastic Two-Scale Optimization Model for Shape Matching.
Chao-Kai Wen, Chang-Jen Wang, Shi Jin, Kai-Kit Wong, Pangan Ting:
Bayes-Optimal Joint Channel-and-Data Estimation for Massive MIMO with Low-Precision ADCs.
Gadea Mata, Jónathan Heras, Miguel Morales, Ana Romero, Julio Rubio:
SynapCountJ - a Tool for Analyzing Synaptic Densities in Neurons.
Giuseppe Lisanti, Svebor Karaman, Daniele Pezzatini, Alberto Del Bimbo:
A Multi-Camera Image Processing and Visualization System for Train Safety Assessment.
Henrique Ferraz de Arruda, Luciano da Fontoura Costa, Diego R. Amancio:
Classifying informative and imaginative prose using complex networks.
Yongxin Yang, Timothy M. Hospedales:
Zero-Shot Domain Adaptation via Kernel Regression on the Grassmannian.
Yayati Gupta, Debarati Das, S. R. S. Iyengar:
Pseudo-Cores: The Terminus of an Intelligent Viral Meme's Trajectory.
Yayati Gupta, S. R. S. Iyengar, Jaspal Singh Saini, Nidhi Sridhar:
Shifting Behaviour of Users: Towards understanding the Fundamental Law of Social Networks.
Martin Jurás, Frantisek Marko, Alexandr N. Zubkov:
Public-key cryptosystem based on invariants of diagonalizable groups.

Tomasz Bujlow, Valentín Carela-Español, Josep Solé-Pareta, Pere Barlet-Ros:
Web Tracking: Mechanisms, Implications, and Defenses.
Samarth Brahmbhatt, Heni Ben Amor, Henrik I. Christensen:
Occlusion-Aware Object Localization, Segmentation and Pose Estimation.
Thanh Nguyen, Hang Zhou, Randall A. Berry, Michael L. Honig, Rakesh V. Vohra:
The Cost of Free Spectrum.
Elvis Dohmatob:
A simple and efficient algorithm for computing approximate Nash equilibria in two-person zero-sum sequential games with imcomplete information.
Arif Raza, Luiz Fernando Capretz:
Addressing User Requirements in Opens Source Software: The Role of Online Forums.
Luiz G. Hafemann, Robert Sabourin, Luiz S. Oliveira:
Offline Handwritten Signature Verification - Literature Review.
Xinyang Deng, Zhen Wang, Qi Liu, Yong Deng, Yu Shyr:
Impact of Preference and Equivocators on Opinion Dynamics with Evolutionary Game Framework.
Eric Heim, Milos Hauskrecht:
Sparse Multidimensional Patient Modeling using Auxiliary Confidence Labels.
Xinyang Deng, Yong Deng, Qi Liu, Zhen Wang:
Quantum games of opinion formation based on the Marinatto-Weber quantum game scheme.
Rogerio Atem de Carvalho, Hudson Silva, Rafael Ferreira Toledo, Milena Silveira de Azevedo:
TDD for Embedded Systems: A Basic Approach and Toolset.
Prashanth L. A., H. L. Prasad, Shalabh Bhatnagar, Prakash Chandra:
A constrained optimization perspective on actor critic algorithms and application to network routing.
Wayes Tushar, Chau Yuen, Shisheng Huang, David B. Smith, H. Vincent Poor:
Cost Minimization of Charging Stations with Photovoltaics: An Approach with EV Classification.
Anton V. Eremeev:
On Proportions of Fit Individuals in Population of Genetic Algorithm with Tournament Selection.
Zhiyi Zhou, Dongning Guo, Michael L. Honig:
Allocation of Licensed and Unlicensed Spectrum in Heterogeneous Networks.
Anthony Cazasnoves, Fanny Buyens, Sylvie Sevestre:
Adapted sampling for 3D X-ray computed tomography.
Ameen Alkasem, Hongwei Liu, Decheng Zuo, Yao Zhao:
AFDI: A Virtualization-based Accelerated Fault Diagnosis Innovation for High Availability Computing.
Amal Tahri, Laurence Duchien, Jacques Pulou:
Using Feature Models for Distributed Deployment in Extended Smart Home Architecture.
Hu Fu, Nicole Immorlica, Brendan Lucier, Philipp Strack:
Randomization beats Second Price as a Prior-Independent Auction.
Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto:
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. 3-17
Amy P. Felty, Alberto Momigliano, Brigitte Pientka:
An Open Challenge Problem Repository for Systems Supporting Binders. 18-32



Xiaochao Qu, Suah Kim, Run Cui, Hyoung Joong Kim:
Collaborative Representation Classification Ensemble for Face Recognition.

Sergey Novoselov, Alexander Kozlov, Galina Lavrentyeva, Konstantin Simonchik, Vadim Shchemelinin:
STC Anti-spoofing Systems for the ASVspoof 2015 Challenge.
Xiaochao Qu, Suah Kim, Run Cui, Hyoung Joong Kim:
Low Bit-Rate and High Fidelity Reversible Data Hiding.
Annan Li, Shiguang Shan, Xilin Chen, Bingpeng Ma, Shuicheng Yan, Wen Gao:
Cross-pose Face Recognition by Canonical Correlation Analysis.
Oswin Aichholzer, Vincent Kusters, Wolfgang Mulzer, Alexander Pilz, Manuel Wettstein:
An Optimal Algorithm for Reconstructing Point Set Order Types from Radial Orderings.
Fatma Yildiz Tascikaraoglu, Jennie Lioris, Ajith Muralidharan, Martin Gouy, Pravin Varaiya:
PointQ model of an arterial network: calibration and experiments.



Moritz Kreutzer, Jonas Thies, Melven Röhrig-Zöllner, Andreas Pieper, Faisal Shahzad, Martin Galgon, Achim Basermann, Holger Fehske, Georg Hager, Gerhard Wellein:
GHOST: Building blocks for high performance sparse linear algebra on heterogeneous systems.
Barbora Micenková, Brian McWilliams, Ira Assent:
Learning Representations for Outlier Detection on a Budget.
Paul Lagrée, Bogdan Cautis, Hossein Vahabi:
A Network-Aware Approach for Searching As-You-Type in Social Media (Extended Version).
Alexander V. Evako:
Parabolic equations on digital spaces. Solutions on the digital Moebius strip and the digital projective plane.
Mulugeta K. Fikadu, Paschalis C. Sofotasios, Qimei Cui, Mikko Valkama:
Analytic Performance Evaluation of M${-}$QAM Based Decode-and-Forward Relay Networks Over Nakagami-q (Hoyt) Fading Channels.
Paschalis C. Sofotasios, Sami Muhaidat, Mikko Valkama, Mounir Ghogho, George K. Karagiannidis:
Entropy and Channel Capacity under Optimum Power and Rate Adaptation in Generalized Fading Conditions.
Pushpendra Singh, Shiv Dutt Joshi:
Some studies on multidimensional Fourier theory for Hilbert transform, analytic signal and space-time series analysis.
Daniel Lamprecht, Markus Strohmaier, Denis Helic:
Improving Reachability and Navigability in Recommender Systems.
Mulugeta K. Fikadu, Paschalis C. Sofotasios, Mikko Valkama, Qimei Cui, Sami Muhaidat, George K. Karagiannidis:
Error Rate and Power Allocation Analysis of Regenerative Networks under Generalized Fading Conditions.
Gautier Marti, Philippe Donnat, Frank Nielsen, Philippe Very:
HCMapper: An interactive visualization tool to compare partition-based flat clustering extracted from pairs of dendrograms.
Alam Zaib, Mudassir Masood, Anum Ali, Weiyu Xu, Tareq Y. Al-Naffouri:
Distributed Channel Estimation and Pilot Contamination Analysis for Massive MIMO-OFDM Systems.
Riccardo De Masellis, Chiara Ghidini, Silvio Ranise:
A Declarative Framework for Specifying and Enforcing Purpose-aware Policies.
Pål Grønås Drange, Felix Reidl, Fernando Sánchez Villaamil, Somnath Sikdar:
Fast Biclustering by Dual Parameterization.
Florent Foucaud, George B. Mertzios, Reza Naserasr, Aline Parreau, Petru Valicov:
Identification, location-domination and metric dimension on interval and permutation graphs. I. Bounds.
Nauman Shahid, Nathanael Perraudin, Vassilis Kalofolias, Pierre Vandergheynst:
Fast Robust PCA on Graphs.
Teodora Szasz, Adrian Basarab, Denis Kouame:
Beamforming through regularized inverse problems in ultrasound medical imaging.
Van Chan Ngo, Axel Legay, Jean Quilbeuf:
Dependability Analysis of Control Systems using SystemC and Statistical Model Checking.
Christina Lioma, Jakob Grue Simonsen, Birger Larsen, Niels Dalum Hansen:
Non-Compositional Term Dependence for Information Retrieval.
Armin Balalaie, Abbas Heydarnoori, Pooyan Jamshidi:
Migrating to Cloud-Native Architectures Using Microservices: An Experience Report.
Marc-Olivier Arsenault, Hanen Garcia Gamardo, Kim Khoa Nguyen, Mohamed Cheriet:
Session-based Communication for Vital Machine-to-Machine Applications.
Casper Petersen, Christina Lioma, Jakob Grue Simonsen, Birger Larsen:
Entropy and Graph Based Modelling of Document Coherence using Discourse Entities: An Application.
Yajie Miao, Mohammad Gowayyed, Florian Metze:
EESEN: End-to-End Speech Recognition using Deep RNN Models and WFST-based Decoding.
Lasse Kliemann, Elmira Shirazi Sheykhdarabadi, Anand Srivastav:
Price of Anarchy for Graph Coloring Games with Concave Payoff.
Sohail Bahmani, Justin K. Romberg:
Efficient Compressive Phase Retrieval with Constrained Sensing Vectors.
Khaled H. Alyoubi, Sven Helmer, Peter T. Wood:
Ordering Selection Operators Using the Minmax Regret Rule.
Amirafshar Moshtaghpour, Laurent Jacques, Valerio Cambareri, Kévin Degraux, Christophe De Vleeschouwer:
Consistent Signal and Matrix Estimates in Quantized Compressed Sensing.

Frank Li, Richard Shin, Vern Paxson:
Exploring Privacy Preservation in Outsourced K-Nearest Neighbors with Multiple Data Owners.
Ahsan Javed Awan, Mats Brorsson, Vladimir Vlassov, Eduard Ayguadé:
How Data Volume Affects \\Spark Based Data Analytics on a Scale-up Server.
Jaderick P. Pabico, Joseph Anthony C. Hermocilla, John Paul C. Galang, Christine C. De Sagun:
Perceived Social Loafing in Undergraduate Software Engineering Teams.
Jaderick P. Pabico:
Inferences in a Virtual Community: Demography, User Preferences, and Network Topology.
Tobias Koch, Gonzalo Vazquez-Vilar:
Rate-Distortion Bounds for High-Resolution Vector Quantization via Gibbs's Inequality.
Shaukat R. Abidi, Massimo Piccardi, Mary-Anne Williams:
Action recognition in still images by latent superpixel classification.
Santiago Segarra, Antonio G. Marques, Geert Leus, Alejandro Ribeiro:
Reconstruction of Graph Signals through Percolation from Seeding Nodes.
Muhibur Rasheed, Chandrajit L. Bajaj:
Characterization and Construction of a Family of Highly Symmetric Spherical Polyhedra with Application in Modeling Self-Assembling Structures.
Cezary Kaliszyk, Andrei Paskevich:
Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, PxTP 2015, Berlin, Germany, August 2-3, 2015. EPTCS 186, 2015 [contents]

Shuangyin Li, Jiefei Li, Guan Huang, Ruiyang Tan, Rong Pan:
Tag-Weighted Topic Model For Large-scale Semi-Structured Documents.
Baptiste Maingret, Frédéric Le Mouël, Julien Ponge, Nicolas Stouls, Jian Cao, Yannick Loiseau:
Towards a Decoupled Context-Oriented Programming Language for the Internet of Things.
Anupam Ghosh, Mainak Talukdar, Uttam Kumar Roy:
Stable Drug Designing By Minimizing Drug Protein Interaction Energy Using PSO.
Rakesh U. Chavan, Debraj Chakraborty, D. Manjunath:
Stability and Equilibrium Analysis of Laneless Traffic with Local Control Laws.
Gabriele D'Angelo, Stefano Ferretti:
Performance evaluation of gossip protocols on complex networks.

Pan Zhou, Chenhui Hu, Tao Jiang, Dapeng Wu:
Almost Optimal Energy-Efficient Cognitive Communications in Unknown Environments.
Indre Zliobaite, Mikhail Khokhlov:
Optimal estimates for short horizon travel time prediction in urban areas.

David Vilares, Miguel A. Alonso, Carlos Gómez-Rodríguez:
One model, two languages: training bilingual parsers with harmonized treebanks.

Cristian Jimenez-Romero, David Sousa-Rodrigues, Jeffrey H. Johnson, Vitorino Ramos:
A Model for Foraging Ants, Controlled by Spiking Neural Networks and Double Pheromones.
Víctor López Millán, Vicent Cholvi, Antonio Fernández Anta, Luis López:
Resource location based on precomputed partial random walks in dynamic networks.

Andres Garcia-Saavedra, Mohammad Karzand, Douglas J. Leith:
Low Delay Random Linear Coding and Scheduling Over Multiple Interfaces.
Pol Van Aubel, Daniel J. Bernstein, Ruben Niederhagen:
Investigating SRAM PUFs in large CPUs and GPUs.
Domagoj Margan, Ana Mestrovic, Sanda Martincic-Ipsic:
Multilayer Network of Language: a Unified Framework for Structural Analysis of Linguistic Subsystems.
Ganesh Ram Santhanam, Samik Basu, Vasant G. Honavar:
CRISNER: A Practically Efficient Reasoner for Qualitative Preferences.
Ganesh G., Debanjum Singh Solanky, Govindaraj R:
Collaborative peer production as an alternative to hierarchical internet based business systems.
Vinay Chakravarthi Gogineni, Mrityunjoy Chakraborty:
Diffusion Adaptation Over Clustered Multitask Networks Based on the Affine Projection Algorithm.
Mohsen Yaghoubi Suraki, Morteza Yaghoubi Suraki, Leila SourakiAzad:
HMIoT: A New Healthcare Model Based on Internet of Things.
Weiya Ren, Shuohao Li, Qiang Guo, Guohui Li, Jun Zhang:
Agglomerative clustering and collectiveness measure via exponent generating function.
Henning Thomsen, Petar Popovski, Elisabeth de Carvalho, Nuno K. Pratas, Dong-Min Kim, Federico Boccardi:
CoMPflex: CoMP for In-Band Wireless Full Duplex.
Yanshan Wang, Dingcheng Li, Hongfang Liu, In-Chan Choi:
Generalized Ensemble Model for Document Ranking.
Pablo Aragón, Yana Volkovich, David Laniado, Andreas Kaltenbrunner:
When a Movement Becomes a Party: The 2015 Barcelona City Council Election.

Anna-Lena Horlemann-Trautmann, Kyle Marshall:
New Criteria for MRD and Gabidulin Codes and some Rank-Metric Code Constructions.
Yash Deshpande, Emmanuel Abbe, Andrea Montanari:
Asymptotic Mutual Information for the Two-Groups Stochastic Block Model.

Faranak Davoodi:
PSC: A Pattern-Based Temporal and Spatial Crowdsourcing Platform to Improve Performance, Reliability, and Privacy.
Myung Cho, Kumar Vijay Mishra, Jian-Feng Cai, Weiyu Xu:
Block Iterative Reweighted Algorithms for Super-Resolution of Spectrally Sparse Signals.
Peter Lofgren, Siddhartha Banerjee, Ashish Goel:
Bidirectional PageRank Estimation: From Average-Case to Worst-Case.
Mehrtash Tafazzoli Harandi, Mathieu Salzmann, Mahsa Baktashmotlagh:
Beyond Gauss: Image-Set Matching on the Riemannian Manifold of PDFs.

Christoph Benzmüller, Maximilian Claus, Nik Sultana:
Systematic Verification of the Modal Logic Cube in Isabelle/HOL. 27-41



Shan-Hsiang Shen, Liang-Hao Huang, Hsiang-Chun Hsu, De-Nian Yang, Wen-Tsuen Chen:
Multi-Tree Multicast Traffic Engineering for Software-Defined Networks.
Hirosuke Yamamoto, Masato Tsuchihashi, Junya Honda:
Almost Instantaneous Fix-to-Variable Length Codes.
Junhyuk Oh, Xiaoxiao Guo, Honglak Lee, Richard L. Lewis, Satinder P. Singh:
Action-Conditional Video Prediction using Deep Networks in Atari Games.
Ohad Shamir:
An Optimal Algorithm for Bandit and Zero-Order Convex Optimization with Two-Point Feedback.
Fa Wu, Peijun Hu, Dexing Kong:
Flip-Rotate-Pooling Convolution and Split Dropout on Convolution Neural Networks for Image Classification.
Amir Shahroudy, Gang Wang, Tian-Tsong Ng, Qingxiong Yang:
Multimodal Multipart Learning for Action Recognition in Depth Videos.

R. B. Sandeep, Naveen Sivadasan:
Parameterized lower bound and improved kernel for Diamond-free Edge Deletion.
Christian Mandery, Júlia Borràs Sol, Mirjam Jöchner, Tamim Asfour:
Analyzing Whole-Body Pose Transitions in Multi-Contact Motions.
Dario Garcia-Gasulla, Javier Béjar, Ulises Cortés, Eduard Ayguadé, Jesús Labarta:
Extracting Visual Patterns from Deep Learning Representations.
Mikhail Tsitsvero, Sergio Barbarossa, Paolo Di Lorenzo:
Signals on Graphs: Uncertainty Principle and Sampling.
Matthias Keller, Holger Karl:
Response-Time-Optimised Service Deployment: MILP Formulations of Piece-wise Linear Functions Approximating Non-linear Bivariate Mixed-integer Functions.
Jiachen Yang, Zhiyong Ding, Fei Guo, Huogen Wang, Nick Hughes:
A novel multivariate performance optimization method based on sparse coding and hyper-predictor learning.
Fabio Sabatini, Francesco Sarracino:
Keeping up with the e-Joneses: Do online social networks raise social comparisons?
Miriam Marciel, Rubén Cuevas, Albert Banchs, Roberto Gonzalez, Stefano Traverso, Mohamed Ahmed, Arturo Azcorra:
Understanding the detection of fake view fraud in Video Content Portals.
Kimio Kuramitsu:
Service Dependability with Continuously Revised Assurance Cases by Multiple Stakeholders: A Case Study.
Rushikesh Kamalapurkar, Ben Reish, Girish Chowdhary, Warren E. Dixon:
Concurrent learning for parameter estimation using dynamic state-derivative estimators.
Zhaowen Wang, Ding Liu, Jianchao Yang, Wei Han, Thomas S. Huang:
Deeply Improved Sparse Coding for Image Super-Resolution.
Laszlo B. Kish, Claes-Göran Granqvist, Sunil P. Khatri, Ferdinand Peper:
Zero and negative energy dissipation at information-theoretic erasure.
Marwan Hammouda, Sami Akin, Jürgen Peissig:
Effective Capacity in Multiple Access Channels with Arbitrary Inputs.
Xiaomin Chen, Ibukunoluwa Akinyemi, Shuang-Hua Yang:
A control theoretic approach to achieve proportional fairness in 802.11e EDCA WLANs.
Xiaomin Chen, Shuang-Hua Yang:
Achieving proportional fairness with a control theoretic approach in error-prone 802.11e WLANs.
Rafal Kapelko, Evangelos Kranakis:
On the Displacement for Covering a Unit Interval with Randomly Placed Sensors.
Stefan Haring, Ronald Hochreiter:
Efficient and robust calibration of the Heston option pricing model for American options using an improved Cuckoo Search Algorithm.
Heba Aly, Anas Basalamah, Moustafa Youssef:
Map++: A Crowd-sensing System for Automatic Map Semantics Identification.
Roman Fedorov, Piero Fraternali, Chiara Pasini, Marco Tagliasacchi:
SnowWatch: Snow Monitoring through Acquisition and Analysis of User-Generated Content.
Fan Chung, Olivia Simpson:
Distributed Algorithms for Finding Local Clusters Using Heat Kernel Pagerank.
Jihong Park, Seong-Lyun Kim, Jens Zander:
Tractable Resource Management with Uplink Decoupled Millimeter-Wave Overlay in Ultra-Dense Cellular Networks.

Jacob W. Cooper, Tomás Kaiser, Daniel Král, Jonathan A. Noel:
Weak regularity and finitely forcible graph limits.
Shogo Mizutaka, Kousuke Yakubo:
Robustness of scale-free networks to cascading failures induced by fluctuating loads.
Pawel Sobkowicz:
Breakdown of metastable political duopoly due to asymmetry of emotions in partisan propaganda.
Nicolas Wider, Antonios Garas, Ingo Scholtes, Frank Schweitzer:
An ensemble perspective on multi-layer networks.

Jamie Sikora, Antonios Varvitsiotis, Zhaohui Wei:
On the minimum dimension of a Hilbert space needed to generate a quantum correlation.
Jorge Rodríguez Veiga, Guido I. Novoa Flores, Balbina V. Casas Méndez:
Implementing generating functions to obtain power indices with coalition configuration.
Alexander Cloninger, Ronald R. Coifman, Nicholas Downing, Harlan M. Krumholz:
Bigeometric Organization of Deep Nets.
Kaushik Chakraborty, André Chailloux, Anthony Leverrier:
Arbitrarily long relativistic bit commitment.

Vanni Noferini, Alex Townsend:
Are resultant methods numerically unstable for multidimensional rootfinding?




André Ferrari, David Mary, Rémi Flamary, Cédric Richard:
Distributed image reconstruction for very large arrays in radio astronomy.
Paul Dorbec, Éric Duchêne, Andre Fabbri, Julien Moncel, Aline Parreau, Éric Sopena:
Ice sliding games.
A. Lachgar, A. Achahbar:
Network growth with preferential attachment and without "rich get richer" mechanism.
Pooneh M. Ara, Ryan G. James, James P. Crutchfield:
The Elusive Present: Hidden Past and Future Dependency and Why We Build Models.
Takeru Miyato, Shin-ichi Maeda, Masanori Koyama, Ken Nakae, Shin Ishii:
Distributional Smoothing by Virtual Adversarial Examples.
Heinrich H. Nax, Matjaz Perc, Attila Szolnoki, Dirk Helbing:
Stability of cooperation under image scoring in group interactions.
Mingming Chen, Konstantin Kuzmin, Boleslaw K. Szymanski:
Community Detection via Maximization of Modularity and Its Variants.
Guillaume W. Basse, Edoardo M. Airoldi:
Optimal design of experiments in the presence of network-correlated outcomes.



Guoyin Li, Ting Kei Pong:
Peaceman-Rachford splitting for a class of nonconvex optimization problems.
Michael Kech, Michael M. Wolf:
Quantum Tomography of Semi-Algebraic Sets with Constrained Measurements.
Fabio Grazioso:
Introduction to quantum information theory and outline of two applications to physics: the black hole information paradox and the renormalization group information flow.
Ky Khac Vu, Pierre-Louis Poirion, Leo Liberti:
Using the Johnson-Lindenstrauss lemma in linear and integer programming.
Frank D. Wood, Jan-Willem van de Meent, Vikash Mansinghka:
A New Approach to Probabilistic Programming Inference.
Frédérique Bassino, Cyril Nicaud, Pascal Weil:
Generic properties of subgroups of free groups and finite presentations.
Derek Groen, Simon Portegies Zwart:
From Thread to Transcontinental Computer: Disturbing Lessons in Distributed Supercomputing.
Fernando Castaños, Edgar Estrada, Sabine Mondié, Adrian Ramirez:
Passivity-based PI control of first-order systems with I/O communication delays: A complete sigma-stability analysis.
Mahmoud El Chamie, Behçet Açikmese:
Finite-Horizon Markov Decision Processes with Sequentially-Observed Transitions.
Vaibhav Srivastava, Paul Reverdy, Naomi Ehrich Leonard:
Correlated Multiarmed Bandit Problem: Bayesian Algorithms and Regret Analysis.
Hongxing Ye, Yinyin Ge, Mohammad Shahidehpour, Zuyi Li:
Market Clearing for Uncertainty, Generation Reserve, and Transmission Reserve-Part II: Case Study.
Dane Taylor, Sean A. Myers, Aaron Clauset, Mason A. Porter, Peter J. Mucha:
Eigenvector-Based Centrality Measures for Temporal Networks.
Byungjoon Min, Fredrik Liljeros, Hernán A. Makse:
Finding influential spreaders from human activity beyond network location.
Alessio Emanuele Biondo, A. Giarlotta, Alessandro Pluchino, Andrea Rapisarda:
Perfect Information vs Random Investigation: Safety Guidelines for a Consumer in the Jungle of Product Differentiation.
Arkadiusz Stopczynski, Piotr Sapiezynski, Alex Pentland, Sune Lehmann:
Temporal Fidelity in Dynamic Social Networks.
Hongxing Ye, Yinyin Ge, Mohammad Shahidehpour, Zuyi Li:
Market Clearing for Uncertainty, Generation Reserve, and Transmission Reserve-Part I: Theory.
Mahmoud El Chamie, Behçet Açikmese:
Finite-Horizon Markov Decision Processes with State Constraints.

Georgie Knight, Giampaolo Cristadoro, Eduardo G. Altmann:
Temporal-varying failures of nodes in networks.
Anastasia Podosinnikova, Francis R. Bach, Simon Lacoste-Julien:
Rethinking LDA: moment matching for discrete ICA.
Punit Mehta, Rahul Muthu, Gaurav Patel, Om Thakkar, Devanshi Vyas:
Improved Upper Bounds on $a'(G\Box H)$.
Lucila G. Alvarez Zuzek, Camila Buono, Lidia A. Braunstein:
Epidemic spreading and immunization strategy in multiplex networks.
Bruno Gaujal, Panayotis Mertikopoulos:
A stochastic approximation algorithm for stochastic semidefinite programming.
Ali JavadiAbhari, Shruti Patil, Daniel Kudrow, Jeff Heckey, Alexey Lvov, Frederic T. Chong, Margaret Martonosi:
ScaffCC: Scalable Compilation and Analysis of Quantum Programs.
Thiago Ferreira da Silva, Gustavo C. do Amaral, Guilherme Penello Temporão, Jean Pierre von der Weid:
High-Coherence Heralded Single-Photon Source based on Two-Photon Interference.
Guus Regts:
Zero-free regions of partition functions with applications to algorithms and graph limits.
Andreas D. M. Gunawan, Bhaskar DasGupta, Louxin Zhang:
Stability Implies Computational Tractability: Locating a Tree in a Stable Network is Easy.
Marcelo Sobottka, Daniel Gonçalves:
A brief note on the definition of sliding block codes and the Curtis-Hedlund-Lyndon Theorem.


Chintan A. Dalal, Vladimir Pavlovic, Robert E. Kopp:
Intrinsic Non-stationary Covariance Function for Climate Modeling.
Abigail Mae C. Jayin, Rene C. Batac:
Finding trends and statistical patterns in name mentions in news.
Shay Moran, Rom Pinchasi:
Matchings vs hitting sets among half-spaces in low dimensional euclidean spaces.
Christian Y. Cardall, Reuben D. Budiardja:
GenASiS Basics: Object-oriented utilitarian functionality for large-scale physics simulations.
Jacob D. Abernethy, Elad Hazan:
Faster Convex Optimization: Simulated Annealing with an Efficient Universal Barrier.
Sébastien Bubeck, Ronen Eldan, Joseph Lehec:
Sampling from a log-concave distribution with Projected Langevin Monte Carlo.

Monirehalsadat Mahmoudi, Xuesong Zhou:
Finding Optimal Solutions for Vehicle Routing Problem with Pickup and Delivery Services with Time Windows: A Dynamic Programming Approach Based on State-space-time Network Representations.
Maria Axenovich, Torsten Ueckerdt, Pascal Weiner:
Splitting Planar Graphs of Girth 6 into Two Linear Forests with Short Paths.
Yu. L. Bolotin, V. A. Cherkaskiy:
Principle of maximum force and holographic principle: two principles or one?
Andreas B. Hempel, Paul J. Goulart, John Lygeros:
Continuous Optimality Conditions for Constrained Optimal Control of Hybrid Systems.
Jenna Birch, Athanasios A. Pantelous, Konstantin Zuev:
The Maximum Number of 3- and 4-Cliques within a Planar Maximally Filtered Graph.
Ezio Di Costanzo, Roberto Natalini:
A hybrid mathematical model of collective motion under alignment and chemotaxis.
Bo Tan, Zhi-Xiong Wen, Yiping Zhang:
Complexity of Substitutive Sequences - Calculation of the Complexities of Substitutive Sequences Over a Binary Alphabet.
Annie Raymond, Mohit Singh, Rekha R. Thomas:
Symmetry in Turán Sums of Squares Polynomials from Flag Algebras.
Shinya Suzumura, Kohei Ogawa, Masashi Sugiyama, Masayuki Karasuyama, Ichiro Takeuchi:
Homotopy Continuation Approaches for Robust SV Classification and Regression.
Vivek Kandiah, H. Escaith, D. L. Shepelyansky:
Contagion effects in the world network of economic activities.

Zi-Wen Liu, Christopher Perry, Yechao Zhu, Dax Enshan Koh, Scott Aaronson:
Doubly infinite separation of quantum information and communication.
Etienne de Klerk, Frank Vallentin:
On the Turing model complexity of interior point methods for semidefinite programming.


Kaspars Balodis, Janis Iraids:
Quantum Lower Bound for Graph Collision Implies Lower Bound for Triangle Detection.
Saugata Basu, Anthony Rizzie:
Multi-degree bounds on the Betti numbers of real varieties and semi-algebraic sets and applications.

Wei Wang, Ming Tang, Hai-Feng Zhang, Ying-Cheng Lai:
Dynamics of social contagions with memory of non-redundant information.
Angelo Mariano, Giorgio Parisi, Saverio Pascazio:
Language discrimination and clustering via a neural network approach.
Nicos G. Pavlidis, David P. Hofmeyr, Sotiris K. Tasoulis:
Minimum Density Hyperplane: An Unsupervised and Semi-Supervised Classifier.
Jiaji Huang, Qiang Qiu, A. Robert Calderbank:
The Role of Principal Angles in Subspace Classification.
Ian Dobson:
Obtaining statistics of cascading line outages spreading in an electric transmission network from standard utility data.

P. Singh, Sameet Sreenivasan, Boleslaw K. Szymanski, Gyorgy Korniss:
Competing Effects of Social Balance and Influence.
Dohyung Park, Joe Neeman, Jin Zhang, Sujay Sanghavi, Inderjit S. Dhillon:
Preference Completion: Large-scale Collaborative Ranking from Pairwise Comparisons.
Guilherme Ferraz de Arruda, Emanuele Cozzo, Yamir Moreno, Francisco Aparecido Rodrigues:
On degree-degree correlations in multilayer networks.
Talayeh Aledavood, Eduardo López, Sam G. B. Roberts, Felix Reed-Tsochas, Esteban Moro Egido, Robin I. M. Dunbar, Jari Saramäki:
Channel-Specific Daily Patterns in Mobile Phone Communication.
Carsten Grabow, Stefan Grosskinsky, Jürgen Kurths, Marc Timme:
Collective Relaxation Dynamics of Small-World Networks.
Jan-Willem van de Meent, David Tolpin, Brooks Paige, Frank D. Wood:
Black-Box Policy Search with Probabilistic Programs.

Alessandro Rudi, Raffaello Camoriano, Lorenzo Rosasco:
Less is More: Nyström Computational Regularization.

Paul E. Smaldino, Marco A. Janssen, Vicken Hillis, Jenna Bednar:
Adoption as a Social Marker: The Diffusion of Products in a Multigroup Environment.
Stephan Mandt, Florian Wenzel, Shinichi Nakajima, John P. Cunningham, Christoph Lippert, Marius Kloft:
Sparse Estimation in a Correlated Probit Model.
Gergely Tibély, Péter Pollner, Gergely Palla:
Comparing the hierarchy of author given tags and repository given tags in a large document archive.
Tobias Kretz, Jochen Lohmiller, Johannes Schlaich:
The Inflection Point of the Speed-Density Relation and the Social Force Model.
Matthias Rungger, Majid Zamani:
Compositional Construction of Approximate Abstractions of Interconnected Control Systems.
Luís Descalço, Paula Carvalho, J. P. Cruz, Paula Oliveira, Dina Seabra:
Computer-assisted independent study in mutivariate calculus.
Sharon E. Alajajian, Jake Ryland Williams, Andrew J. Reagan, S. C. Alajajian, Morgan R. Frank, Lewis Mitchell, J. Lahne, Christopher M. Danforth, Peter Sheridan Dodds:
The Lexicocalorimeter: Gauging public health through caloric input and output on social media.
Daniel König, Markus Lohrey, Georg Zetzsche:
Knapsack and subset sum problems in nilpotent, polycyclic, and co-context-free groups.
Tianbao Yang, Lijun Zhang, Qihang Lin, Rong Jin:
Fast Sparse Least-Squares Regression with Non-Asymptotic Guarantees.

Muhammad Bilal Zafar, Isabel Valera, Manuel Gomez-Rodriguez, Krishna P. Gummadi:
Fairness Constraints: A Mechanism for Fair Classification.
Anderson Y. Zhang, Harrison H. Zhou:
Minimax Rates of Community Detection in Stochastic Block Models.
Gábor Hegedüs, Zijia Li, Josef Schicho, Hans-Peter Schröcker:
From the Fundamental Theorem of Algebra to Kempe's Universality Theorem.
Justin Bayer, Maximilian Karl, Daniela Korhammer, Patrick van der Smagt:
Fast Adaptive Weight Noise.
Ingrid Daubechies, Yi Wang, Hau-Tieng Wu:
ConceFT: Concentration of Frequency and Time via a multitapered synchrosqueezed transform.
Yu-Ting Lin, Patrick Flandrin, Hau-Tieng Wu:
Interpolation-induced reflection artifact in the reassignment technique - with anesthesia example.

Pierre Lairez:
A deterministic algorithm to compute approximate roots of polynomial systems in polynomial average time.
Jun Liu, Andrew R. Teel:
Lyapunov-based sufficient conditions for stability of hybrid systems with memory.
Richard Obermeier, José Ángel Martínez Lorenzo:
Model-based Optimization of Compressive Antennas for High Sensing-Capacity Applications.
David M. Budden, Edmund J. Crampin:
Gene expression modelling across multiple cell-lines with MapReduce.
Prateek Jain, Chi Jin, Sham M. Kakade, Praneeth Netrapalli:
Computing Matrix Squareroot via Non Convex Local Search.
Ernesto Estrada, Eusebio Vargas-Estrada, Hiroyasu Ando:
Communicability Angles Reveal Critical Edges for Network Consensus Dynamics.
Siu On Chan, Dimitris S. Papailiopoulos, Aviad Rubinstein:
On the Worst-Case Approximability of Sparse PCA.
Yuchao Tang, Zhenggang Wu, Chuanxi Zhu:
An improved strategy for solving Sudoku by sparse optimization methods.
Brian Donovan, Daniel B. Work:
Using coarse GPS data to quantify city-scale transportation system resilience to extreme events.



Javier Borge-Holthoefer, Nicola Perra, Bruno Gonçalves, Sandra González-Bailón, Alex Arenas, Yamir Moreno, Alessandro Vespignani:
The dynamic of information-driven coordination phenomena: a transfer entropy analysis.
Julio Aracena, Adrien Richard, Lilian Salinas:
Fixed points in conjunctive networks and maximal independent sets in graph contractions.
Amir Averbuch, Gil Shabat, Yoel Shkolnisky:
Direct Inversion of the 3D Pseudo-polar Fourier Transform.
Jun Liu, Andrew R. Teel:
Hybrid systems with memory: Existence of generalized solutions and well-posedness.
Sebastian M. Cioaba, Jack H. Koolen, Weiqiang Li:
Max-cut and extendability of matchings in distance-regular graphs.
Robert Mattila, Cristian R. Rojas, Bo Wahlberg:
Evaluation of Spectral Learning for the Identification of Hidden Markov Models.

Robin Devooght, Nicolas Kourtellis, Amin Mantrach:
Dynamic Matrix Factorization with Priors on Unknown Values.
Takayuki Mizuno, Takaaki Ohnishi, Tsutomu Watanabe:
Novel and topical business news and their impact on stock market activities.
Stefano Nicotri, Eufemia Tinelli, Nicola Amoroso, Elena Garuccio, Roberto Bellotti:
Complex networks and public funding: the case of the 2007-2013 Italian program.
Sébastien Bubeck, Ronen Eldan:
Multi-scale exploration of convex functions and bandit convex optimization.
Hongbo Li, Lei Huang, Changpeng Shao, Lei Dong:
Three-Dimensional Projective Geometry with Geometric Algebra.

Rina Okada, Kazuto Fukuchi, Kazuya Kakizaki, Jun Sakuma:
Differentially Private Analysis of Outliers.
Emily Abernethy Marshall, Liana Yepremyan, Zach Gaslowitz:
The Characterization of planar, 4-connected, K_{2, 5}-minor-free graphs.

Horia Mania, Xinghao Pan, Dimitris S. Papailiopoulos, Benjamin Recht, Kannan Ramchandran, Michael I. Jordan:
Perturbed Iterate Analysis for Asynchronous Stochastic Optimization.
Satyanarayana G. Manyam, Sivakumar Rathinam, David W. Casbeer, Eloy García:
Shortest Paths of Bounded Curvature for the Dubins Interval Problem.

Anirban Pal, Abhishek Agarwala, Soumyendu Raha, Baidurya Bhattacharya:
Performance metrics in a hybrid MPI-OpenMP based molecular dynamics simulation with short-range interactions.
Mario Vincenzo Tomasello, Claudio Juan Tessone, Frank Schweitzer:
Quantifying knowledge exchange in R&D networks: a data-driven model.
Daoyi Dong, Mohamed A. Mabrok, Ian R. Petersen, Bo Qi, Chunlin Chen, Herschel Rabitz:
Sampling-based Learning Control for Quantum Systems with Uncertainties.
Xiaofei Liu, Sergio Daniel Pequito, Soummya Kar, Bruno Sinopoli, A. Pedro Aguiar:
Minimum Sensor Placement for Robust Observability of Structured Complex Networks.
Sergio Daniel Pequito, George J. Pappas:
Structural Minimum Controllability Problem for Linear Continuous-Time Switching Systems.
Hassan A. Kingravi, Patricio A. Vela, Alexandar Gray:
Reduced-Set Kernel Principal Components Analysis for Improving the Training and Execution Speed of Kernel Machines.
Maksim Kitsak, Ahmed Elmokashfi, Shlomo Havlin, Dmitri V. Krioukov:
Long-Range Correlations and Memory in the Dynamics of Internet Interdomain Routing.






Fabrizio Dabbene, Didier Henrion, Constantino M. Lagoa, Pavel S. Shcherbakov:
Randomized Approximations of the Image Set of Nonlinear Mappings with Applications to Filtering.


Clemens Puppe, Arkadii M. Slinko:
Condorcet Domains, Median Graphs and the Single Crossing Property.

Vedran Dunjko, Jacob M. Taylor, Hans-J. Briegel:
Framework for learning agents in quantum environments.


Giulio Cimini, Andrea Zaccaria, Andrea Gabrielli:
Investigating the interplay between fundamentals of national research systems: performance, investments and international collaborations.
Rico Fischer, Jorge C. Leitao, Tiago P. Peixoto, Eduardo G. Altmann:
Sampling motif-constrained ensembles of networks.
Adam Jobson, Levi Sledd, Susan C. White, D. Jacob Wildstrom:
Variations on Narrow Dots-and-Boxes and Dots-and-Triangles.
Kim Batselier, Ngai Wong:
A constructive arbitrary-degree Kronecker product decomposition of tensors.
Marina Diakonova, Vincenzo Nicosia, Vito Latora, Maxi San Miguel:
Irreducibility of multilayer network dynamics: the case of the voter model.
Andreas J. Winter:
Tight uniform continuity bounds for quantum entropies: conditional entropy, relative entropy distance and energy constraints.
Cristian B. Czegledi, Magnus Karlsson, Erik Agrell, Pontus Johannisson:
Polarization Drift Channel Model for Coherent Fibre-Optic Systems.
Jelena Bradic:
Robustness in sparse linear models: relative efficiency based on robust approximate message passing.
Jan A. Bergstra, Inge Bethke:
A negative result on algebraic specifications of the meadow of rational numbers.



Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
